Home     Top: Theory: Logic    [Computational Complexity   Formal Languages   Logic   Quantum Computing   Theorem Proving]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the expected number of citations based on the year of publication

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

755.6   Rewrite Systems - Dershowitz, Jouannaud (1990)   (Correct)
739.1   Pushing the Envelope: Planning, Propositional Logic, and Stochastic.. - Kautz, Selman (1996)   (Correct)
679.3   Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992)   (Correct)
565.9   GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter, Lespérance, .. (1997)   (Correct)
530.4   The Oz Programming Model - Smolka (1995)   (Correct)
441.9   Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994)   (Correct)
413.7   Constraint Query Languages - Kanellakis, Kuper, Revesz (1992)   (Correct)
391.7   Representing Action and Change by Logic Programs - Gelfond, Lifschitz (1993)   (Correct)
391.3   Partial Constraint Satisfaction - Freuder, Wallace (1992)   (Correct)
344.8   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)
288.2   Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991)   (Correct)
286.9   On The Acceptability Of Arguments And Its Fundamental Role In.. - Dung (1995)   (Correct)
275.4   Efficient Induction Of Logic Programs - Muggleton, Feng (1990)   (Correct)
263.2   A Logic Programming Language with Lambda-Abstraction, Function.. - Miller (1991)   (Correct)
260.8   Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren (1996)   (Correct)
259.0   The Object-Oriented Database System Manifesto - Atkinson, Bancilhon, DeWitt.. (1989)   (Correct)
245.4   System Description: Twelf -- A Meta-Logical Framework for Deductive.. - Frank Pfenning, Carsten Schürmann (1999)   (Correct)
239.9   Information Extraction from HTML: Application of a General Machine.. - Freitag (1998)   (Correct)
222.2   Actions with Indirect Effects - Kartha, Lifschitz (1994)   (Correct)
204.4   Semantic foundations of concurrent constraint programming - Saraswat, Rinard, Panangaden (1991)   (Correct)
185.5   Reasoning about Termination of Pure Prolog Programs - Apt, al. (1993)   (Correct)
185.5   The NRL Protocol Analyzer: An Overview - Meadows (1996)   (Correct)
182.9   Relational Learning of Pattern-Match Rules for Information Extraction - Califf, Mooney (1997)   (Correct)
179.7   Learning Trees and Rules with Set-valued Features - Cohen (1996)   (Correct)
173.5   Standard ML of New Jersey - Appel, MacQueen (1991)   (Correct)
172.7   Learning Probabilistic Relational Models - Friedman, Getoor, Koller, Pfeffer (1999)   (Correct)
158.8   Logic Programming in the LF Logical Framework - Pfenning (1991)   (Correct)
154.5   Programming in an Integrated Functional and Logic Language - Lloyd (1999)   (Correct)
154.2   Pitfalls of Agent-Oriented Development - Wooldridge, Jennings (1998)   (Correct)
150.7   Principles of Maude - Clavel, Eker, Lincoln, Meseguer (1996)   (Correct)
148.9   Semistructured and Structured Data in the Web: Going Back and Forth - Paolo Atzeni (1997)   (Correct)
148.5   The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998)   (Correct)
146.3   Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy, Vengroff.. (1993)   (Correct)
145.4   Increasing Constraint Propagation by Redundant Modeling: an.. - Cheng, Choi, Lee, Wu (1999)   (Correct)
145.4   Complexity and expressive power of logic programming - Dantsin, Eiter, Gottlob, Voronkov (1999)   (Correct)
144.9   Efficient Implementation of the Well-founded and Stable Model.. - Niemelä, Simons (1996)   (Correct)
144.6   Data Mining using MLC++ - A Machine Learning Library in C++ - Kohavi, Sommerfield, Dougherty (1997)   (Correct)
144.6   Hybrid Probabilistic Programs - Dekhtyar, V.S.Subrahmanian (1997)   (Correct)
143.2   XSB as an Efficient Deductive Database Engine - Sagonas (1994)   (Correct)
142.0   Relational Instance-Based Learning - Emde, Wettschereck (1996)   (Correct)
139.1   Ramification and Causality - Thielscher (1996)   (Correct)
138.2   Records for Logic Programming - Smolka, Treinen (1994)   (Correct)
137.7   Deriving Production Rules for Constraint Maintenance - Ceri (1990)   (Correct)
137.1   Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998)   (Correct)
136.3   The Logic of Bunched Implications - O'Hearn, Pym (1999)   (Correct)
136.2   On the Declarative and Procedural Semantics of Logic Programs - Przymusinski (1995)   (Correct)
133.3   Constraint Programming and Database Query Languages - Kanellakis, Goldin (1994)   (Correct)
131.9   Predicate Migration: Optimizing Queries with Expensive Predicates - Hellerstein, Stonebraker (1993)   (Correct)
131.9   Representing Action: Indeterminacy and Ramifications - Giunchiglia (1997)   (Correct)
128.3   A Multiple-Conclusion Meta-Logic - Miller (1994)   (Correct)
127.2   Developing a Declarative Rule Language for Applications in Product.. - Soininen, Niemelä (1999)   (Correct)
126.4   A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991)   (Correct)
126.4   Stable Semantics for Disjunctive Programs - Przymusinski (1991)   (Correct)
125.9   April - Agent PRocess Interaction Language - McCabe, Clark (1994)   (Correct)
123.7   Constraint Arithmetic on Real Intervals - Older (1993)   (Correct)
123.5   Programming Paradigms of the Andorra Kernel Language - Janson (1991)   (Correct)
123.4   Improved CLP Scheduling with Task Intervals - Caseau, Laburthe (1994)   (Correct)
119.1   Encoding Planning Problems in Nonmonotonic Logic Programs - Dimopoulos, Nebel, Koehler (1997)   (Correct)
119.1   Part-of-Speech Tagging Using Progol - Cussens (1997)   (Correct)
119.1   Knowledge Compilation Using Horn Approximations - Selman, Kautz (1991)   (Correct)
118.8   Using meta-logic to reconcile reactive with rational agents - Kowalski (1995)   (Correct)
118.1   Active Learning for Natural Language Parsing and Information.. - Thompson, Califf, Mooney (1999)   (Correct)
117.2   Theory of Generalized Annotated Logic Programming and its Applications - Kifer, Subrahmanian (1992)   (Correct)
115.9   How to Declare an Imperative - Wadler (1995)   (Correct)
115.9   Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture - Kamath, Motwani, Palem, Spirakis (1995)   (Correct)
111.3   Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993)   (Correct)
111.3   A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Fraguas, Artalejo (1993)   (Correct)
111.1   Splitting a Logic Program - Lifschitz, Turner (1994)   (Correct)
110.1   Applications of Machine Learning and Rule Induction - Langley, Simon (1995)   (Correct)
105.1   Tabulated Resolution for Well Founded Semantics - Bol, Degerstedt (1993)   (Correct)
102.8   Transformation-Based Bottom-Up Computation of the Well-Founded Model - Brass, Dix, Freitag, Zukowski (1998)   (Correct)
102.8   What can Knowledge Representation do for Semi-Structured Data? - Calvanese, De Giacomo, Lenzerini (1998)   (Correct)
102.1   Update By Means Of Inference Rules - Przymusinski, Turner (1997)   (Correct)
101.4   Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux - Bry, Yahya (1996)   (Correct)
99.9   Strategic Pattern Matching - Visser (1999)   (Correct)
98.5   Description Logics in Data Management - Borgida (1995)   (Correct)
98.5   Induction of First-Order Decision Lists: Results on Learning the Past .. - Mooney (1995)   (Correct)
98.5   Declarative Programming in Escher - Lloyd (1995)   (Correct)
97.8   Directional Types And The Annotation Method - Johan Boye (1997)   (Correct)
97.8   Mining Association Rules in Multiple Relations - Dehaspe (1997)   (Correct)
97.1   Top-Down Induction Of First Order Logical Decision Trees - Blockeel (1998)   (Correct)
97.1   The ARANEUS Web-Base Management System - Mecca, Atzeni, Masci, Merialdo.. (1998)   (Correct)
96.9   Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski (1993)   (Correct)
96.5   Constraint Hierarchies - Borning, Feldman-Benson, Wilson (1992)   (Correct)
96.2   Semantics of Logic Programs: Their Intuitions and Formal Properties.. - Dix (1994)   (Correct)
96.2   Introducing Global Constraints in CHIP - Beldiceanu, Contejan (1994)   (Correct)
93.6   A Deductive System for Non-Monotonic Reasoning - Eiter, Leone, Mateis, Pfeifer.. (1997)   (Correct)
92.7   Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996)   (Correct)
92.7   Ensuring Global Termination of Partial Deduction while Allowing.. - Martens, Gallagher (1995)   (Correct)
91.3   Deductive Composition of Astronomical Software from Subroutine.. - Stickel, Waldinger, Lowry.. (1994)   (Correct)
90.9   Separate-and-Conquer Rule Learning - Fürnkranz (1999)   (Correct)
90.7   A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993)   (Correct)
89.6   Using Typed Lambda Calculus to Implement Formal Systems on a Machine - Avron, Honsell, Mason, Pollack (1992)   (Correct)
88.8   Two Classes of Boolean Functions for Dependency Analysis - Armstrong, Marriott, Schachte.. (1994)   (Correct)
86.9   Towards a unified agent architecture that combines rationality with.. - Kowalski, Sadri (1996)   (Correct)
86.9   Principles And Implementation Of Deductive Parsing - Shieber (1995)   (Correct)
86.4   A Logical Approach to High-Level Robot Programming - A Progress Report - Lesperance, Levesque, Lin, al. (1994)   (Correct)
86.2   A Finite Presentation Theorem for Approximating Logic Programs.. - Heintze, al. (1990)   (Correct)
85.7   Programming Languages for Distributed Applications - Haridi, Van Roy, Brand, Schulte (1998)   (Correct)
85.7   Learning First-Order Acyclic Horn Programs from Entailment - Reddy, Tadepalli (1998)   (Correct)
85.1   Event Calculus Planning Revisited - Shanahan (1997)   (Correct)
84.0   The execution algorithm of Mercury, an efficient purely declarative.. - Zoltan Somogyi (1996)   (Correct)
84.0   Bag of words and word psitions - Cohen (1995)   (Correct)
83.9   Mixed Integer Programming Methods for Computing Nonmonotonic.. - Bell (1994)   (Correct)
83.9   Efficient Top-Down Computation Of Queries Under The Well-Founded.. - Chen (1994)   (Correct)
82.4   Hierarchical Constraint Logic Programming - Wilson (1993)   (Correct)
82.4   Object-Oriented Concurrent Constraint Programming in Oz - Henz, Smolka, Würtz (1993)   (Correct)
81.8   Type Inference with Constrained Types - Odersky, Sulzmann, Wehr (1999)   (Correct)
81.8   The Belief-Desire-Intention Model of Agency - Georgeff, Pell, Pollack, Tambe.. (1999)   (Correct)
81.0   Possibilistic logic - Dubois, Lang, Prade (1992)   (Correct)
80.8   Solving Small TSPs with Constraints - Caseau, Laburthe (1997)   (Correct)
80.4   A Closed Form Evaluation For Datalog Queries With Integer (GAP)-Order .. - Revesz (1993)   (Correct)
79.9   Super Logic Programs - Stefan Brass, Jürgen Dix, Teodor C.. (1998)   (Correct)
79.9   Relational Learning Techniques for Natural Language Information.. - Califf (1998)   (Correct)
78.2   Comparative Experiments on Disambiguating Word Senses: An.. - Mooney (1996)   (Correct)
78.2   A Circumscriptive Calculus of Events - Shanahan (1995)   (Correct)
76.5   Map Labeling and Its Generalizations - Doddi, Marathe, Mirzaian, Moret, Zhu (1997)   (Correct)
76.5   PROTEIN: A PROver with a Theory Extension INterface - Peter Baumgartner, Ulrich Furbach (1994)   (Correct)
75.3   A Generalization of Analytic Deduction via Labelled Deductive Systems .. - D'Agostino, Gabbay (1995)   (Correct)
75.0   Higher-Order Logic Programming - Nadathur, Miller (1986)   (Correct)
74.2   Relationlog: A Typed Extension to Datalog with Sets and Tuples - Liu (1998)   (Correct)
74.2   Theorem Proving Modulo - Dowek, Hardin, Kirchner (1998)   (Correct)
74.2   COCA: Collaborative Objects Coordination Architecture - Li (1998)   (Correct)
74.0   Minimal Belief and Negation as Failure - Lifschitz (1994)   (Correct)
72.7   Fighting Livelock in the i-Protocol: A Comparative Study of.. - Dong, Du, Ramakrishna, Ramakrishnan, .. (1999)   (Correct)
72.7   On Integrating Constraint Propagation and Linear Programming for.. - Hooker, Ottosson, Thorsteinsson, Kim (1999)   (Correct)
72.4   A Linear Logical Framework - Cervesato, Pfenning (1996)   (Correct)
72.4   Algebraic Properties of Idempotent Substitutions - Palamidessi (1996)   (Correct)
72.3   Towards Constraint Satisfaction through Logic Programs and the Stable .. - Simons (1997)   (Correct)
72.3   ECLiPSe: A Platform for Constraint Logic Programming - Wallace, Novello, Schimpf (1997)   (Correct)
71.6   Foundations of Aggregation Constraints - Ross, Srivastava, Stuckey, Sudarshan (1994)   (Correct)
71.6   Mutagenesis: ILP experiments in a non-determinate biological domain - Srinivasan, Muggleton, King.. (1994)   (Correct)
70.6   The Zinc Experiment: An Economical Implementation Of The Ml Language - Leroy (1990)   (Correct)
70.5   Andorra-I: A Parallel Prolog System that Transparently Exploits both.. - Costa, Warren, Yang (1991)   (Correct)
69.5   Automated Refinement of First-Order Horn-Clause Domain Theories - Richards, Mooney (1995)   (Correct)
69.1   Partial Deduction of Disjunctive Logic Programs: A Declarative.. - Sakama (1994)   (Correct)
68.2   Kernel Andorra Prolog And Its Computation Model - Haridi, Janson (1990)   (Correct)
68.0   A Semantic Basis for the Termination Analysis of Logic Programs - Codish, Taboch (1997)   (Correct)
68.0   Mechanizing Coinduction and Corecursion in Higher-order Logic - Paulson (1997)   (Correct)
68.0   Applications of Linear Logic to Computation: An Overview - Alexiev (1993)   (Correct)
67.2   Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992)   (Correct)
66.6   Asynchronous Communication Model Based on Linear Logic - Kobayashi (1995)   (Correct)
66.6   Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995)   (Correct)
65.5   Computing Least Common Subsumers in Description Logics - Cohen, Borgida, Hirsh (1992)   (Correct)
64.1   Feature Logics - Rounds (1994)   (Correct)
64.1   Computation of Stable Models and its Integration with Logical Query.. - Chen, Warren (1994)   (Correct)
64.1   Distributed Programming with Logic Tuple Spaces - Ciancarini (1994)   (Correct)
63.8   Solving Linear Arithmetic Constraints for User Interface Applications - Borning, Marriott (1997)   (Correct)
63.8   A New Approach to Integrating Mixed Integer Programming and.. - Rodosek, Wallace, Hajian (1997)   (Correct)
63.7   A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio, Pereira (1995)   (Correct)
63.7   Pac-learning Recursive Logic Programs: Negative Results - Cohen (1995)   (Correct)
63.7   On the Declarative and Procedural Semantics of Deductive.. - Dobbie, Topor (1995)   (Correct)
63.7   Disjunctive Semantics based upon Partial and Bottom-Up Evaluation - Stefan Brass, Jürgen Dix (1995)   (Correct)
63.6   Computing argumentation in logic programming - Kakas, Toni (1999)   (Correct)
62.0   PAC-Learnability of Determinate Logic Programs - Dzeroski, Muggleton, Russell (1992)   (Correct)
62.0   Generalization and Learnability: A Study of Constrained Atoms - Page, Jr., Frisch (1992)   (Correct)
61.8   Equational Reasoning and Term Rewriting Systems - Plaisted (1993)   (Correct)
61.7   Deriving Incremental Production Rules for Deductive Data - Ceri, Widom (1994)   (Correct)
61.7   A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994)   (Correct)
60.8   Coreference and Modality - Groenendijk (1996)   (Correct)
60.8   Lazy Narrowing: Strong Completeness and Eager Variable Elimination - Middeldorp, Okui, Ida (1995)   (Correct)
60.3   Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992)   (Correct)
59.7   Strong Termination of Logic Programs - Bezem (1993)   (Correct)
59.5   XSB: A System for Efficiently Computing Well-Founded Semantics - Rao, Sagonas, Swift, Warren, Freire (1997)   (Correct)
59.5   Lookahead and Discretization in ILP - Blockeel, De Raedt (1997)   (Correct)
59.5   Partial Classification using Association Rules - Ali, Manganaris, Srikant (1997)   (Correct)
59.0   Constraint Hierarchies and Logic Programming - Borning, Maher, Martindale, Wilson (1989)   (Correct)
57.9   Structural Regression Trees - Kramer (1996)   (Correct)
57.9   Learning First-Order Definitions of Functions - Quinlan (1996)   (Correct)
57.9   Representing Priorities in Logic Programs - Sakama, Inoue (1996)   (Correct)
57.9   Design And Implementation Of Rock Roll: A Deductive Object-Oriented.. - Barja, Fernandes, Paton, Williams.. (1995)   (Correct)
57.9   Static Analysis on Communication for Asynchronous Concurrent.. - Kobayashi, Nakade, Yonezawa (1995)   (Correct)
57.9   Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi (1995)   (Correct)
57.7   An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993)   (Correct)
57.7   Implementation of the CORAL Deductive Database System - Ramakrishnan, Srivastava, Sudarshan, .. (1993)   (Correct)
57.7   Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)   (Correct)
57.1   Default Logic - Poole (1998)   (Correct)
57.1   Learning Function-Free Horn Expressions - Khardon (1998)   (Correct)
57.1   Execution Monitoring of High-Level Robot Programs. - De Giacomo, Reiter, al. (1998)   (Correct)
57.1   Unification via Explicit Substitutions: The Case of Higher-Order.. - Dowek, Hardin, Kirchner, Pfenning (1998)   (Correct)
57.1   Combining Statistical and Relational Methods for Learning in.. - Slattery, Craven (1998)   (Correct)
56.8   Generalized Sufficient Conditions for Modular Termination of Rewriting - Gramlich (1992)   (Correct)
56.7   An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994)   (Correct)
56.7   On Proof Normalization in Linear Logic - Galmiche, Perrier (1994)   (Correct)
56.7   On the Occur-check Free Prolog Programs - Apt, Pellegrini (1994)   (Correct)
56.7   Conjunto: Constraint Logic Programming with Finite Set Domains - Gervet (1994)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute