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 number of citations

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.

631   Rewrite Systems - Dershowitz, Jouannaud (1990)   (Correct)
394   Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992)   (Correct)
259   The Object-Oriented Database System Manifesto - Atkinson, Bancilhon, DeWitt.. (1989)   (Correct)
255   Pushing the Envelope: Planning, Propositional Logic, and Stochastic.. - Kautz, Selman (1996)   (Correct)
240   Constraint Query Languages - Kanellakis, Kuper, Revesz (1992)   (Correct)
230   Efficient Induction Of Logic Programs - Muggleton, Feng (1990)   (Correct)
227   Partial Constraint Satisfaction - Freuder, Wallace (1992)   (Correct)
200   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)
196   Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991)   (Correct)
190   Representing Action and Change by Logic Programs - Gelfond, Lifschitz (1993)   (Correct)
183   The Oz Programming Model - Smolka (1995)   (Correct)
179   Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994)   (Correct)
179   A Logic Programming Language with Lambda-Abstraction, Function.. - Miller (1991)   (Correct)
139   Semantic foundations of concurrent constraint programming - Saraswat, Rinard, Panangaden (1991)   (Correct)
133   GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter, Lespérance, .. (1997)   (Correct)
118   Standard ML of New Jersey - Appel, MacQueen (1991)   (Correct)
115   Deriving Production Rules for Constraint Maintenance - Ceri (1990)   (Correct)
108   Logic Programming in the LF Logical Framework - Pfenning (1991)   (Correct)
99   On The Acceptability Of Arguments And Its Fundamental Role In.. - Dung (1995)   (Correct)
90   Reasoning about Termination of Pure Prolog Programs - Apt, al. (1993)   (Correct)
90   Actions with Indirect Effects - Kartha, Lifschitz (1994)   (Correct)
90   Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren (1996)   (Correct)
86   A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991)   (Correct)
86   Stable Semantics for Disjunctive Programs - Przymusinski (1991)   (Correct)
84   Programming Paradigms of the Andorra Kernel Language - Janson (1991)   (Correct)
81   Knowledge Compilation Using Horn Approximations - Selman, Kautz (1991)   (Correct)
75   Higher-Order Logic Programming - Nadathur, Miller (1986)   (Correct)
72   A Finite Presentation Theorem for Approximating Logic Programs.. - Heintze, al. (1990)   (Correct)
71   Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy, Vengroff.. (1993)   (Correct)
68   Theory of Generalized Annotated Logic Programming and its Applications - Kifer, Subrahmanian (1992)   (Correct)
64   Predicate Migration: Optimizing Queries with Expensive Predicates - Hellerstein (1992)   (Correct)
64   The NRL Protocol Analyzer: An Overview - Meadows (1996)   (Correct)
62   Learning Trees and Rules with Set-valued Features - Cohen (1996)   (Correct)
60   Constraint Arithmetic on Real Intervals - Older (1993)   (Correct)
59   Constraint Hierarchies and Logic Programming - Borning, Maher, Martindale, Wilson (1989)   (Correct)
59   The Zinc Experiment: An Economical Implementation Of The Ml Language - Leroy (1990)   (Correct)
58   XSB as an Efficient Deductive Database Engine - Sagonas (1994)   (Correct)
57   Kernel Andorra Prolog And Its Computation Model - Haridi, Janson (1990)   (Correct)
56   Records for Logic Programming - Smolka, Treinen (1994)   (Correct)
56   Constraint Hierarchies - Borning, Feldman-Benson, Wilson (1992)   (Correct)
55   Elf: A Language for Logic Definition and Verified Metaprogramming - Pfenning (1989)   (Correct)
54   Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993)   (Correct)
54   Constraint Programming and Database Query Languages - Kanellakis, Goldin (1994)   (Correct)
54   A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Fraguas, Artalejo (1993)   (Correct)
52   A Multiple-Conclusion Meta-Logic - Miller (1994)   (Correct)
52   Principles of Maude - Clavel, Eker, Lincoln, Meseguer (1996)   (Correct)
52   Using Typed Lambda Calculus to Implement Formal Systems on a Machine - Avron, Honsell, Mason, Pollack (1992)   (Correct)
51   Tabulated Resolution for Well Founded Semantics - Bol, Degerstedt (1993)   (Correct)
51   April - Agent PRocess Interaction Language - McCabe, Clark (1994)   (Correct)
50   Improved CLP Scheduling with Task Intervals - Caseau, Laburthe (1994)   (Correct)
50   Efficient Implementation of the Well-founded and Stable Model.. - Niemelä, Simons (1996)   (Correct)
50   Mechanizing Programming Logics in Higher Order Logic - Gordon (1988)   (Correct)
49   Relational Instance-Based Learning - Emde, Wettschereck (1996)   (Correct)
48   Andorra-I: A Parallel Prolog System that Transparently Exploits both.. - Costa, Warren, Yang (1991)   (Correct)
48   Ramification and Causality - Thielscher (1996)   (Correct)
47   Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski (1993)   (Correct)
47   Possibilistic logic - Dubois, Lang, Prade (1992)   (Correct)
47   On the Declarative and Procedural Semantics of Logic Programs - Przymusinski (1995)   (Correct)
45   Splitting a Logic Program - Lifschitz, Turner (1994)   (Correct)
44   A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993)   (Correct)
43   Relational Learning of Pattern-Match Rules for Information Extraction - Califf, Mooney (1997)   (Correct)
42   Information Extraction from HTML: Application of a General Machine.. - Freitag (1998)   (Correct)
41   Using meta-logic to reconcile reactive with rational agents - Kowalski (1995)   (Correct)
40   How to Declare an Imperative - Wadler (1995)   (Correct)
40   Hierarchical Constraint Logic Programming - Wilson (1993)   (Correct)
40   Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture - Kamath, Motwani, Palem, Spirakis (1995)   (Correct)
40   Object-Oriented Concurrent Constraint Programming in Oz - Henz, Smolka, Würtz (1993)   (Correct)
39   Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992)   (Correct)
39   Introducing Global Constraints in CHIP - Beldiceanu, Contejan (1994)   (Correct)
39   A Closed Form Evaluation For Datalog Queries With Integer (GAP)-Order .. - Revesz (1993)   (Correct)
39   Semantics of Logic Programs: Their Intuitions and Formal Properties.. - Dix (1994)   (Correct)
38   Computing Least Common Subsumers in Description Logics - Cohen, Borgida, Hirsh (1992)   (Correct)
38   Inductive Assertion Method For Logic Programs - Drabent, Maluszynski (1988)   (Correct)
38   Applications of Machine Learning and Rule Induction - Langley, Simon (1995)   (Correct)
37   Deductive Composition of Astronomical Software from Subroutine.. - Stickel, Waldinger, Lowry.. (1994)   (Correct)
36   Generalization and Learnability: A Study of Constrained Atoms - Page, Jr., Frisch (1992)   (Correct)
36   PAC-Learnability of Determinate Logic Programs - Dzeroski, Muggleton, Russell (1992)   (Correct)
36   Two Classes of Boolean Functions for Dependency Analysis - Armstrong, Marriott, Schachte.. (1994)   (Correct)
35   Semistructured and Structured Data in the Web: Going Back and Forth - Paolo Atzeni (1997)   (Correct)
35   Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992)   (Correct)
35   Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux - Bry, Yahya (1996)   (Correct)
35   A Logical Approach to High-Level Robot Programming - A Progress Report - Lesperance, Levesque, Lin, al. (1994)   (Correct)
34   Mixed Integer Programming Methods for Computing Nonmonotonic.. - Bell (1994)   (Correct)
34   Description Logics in Data Management - Borgida (1995)   (Correct)
34   Declarative Programming in Escher - Lloyd (1995)   (Correct)
34   Induction of First-Order Decision Lists: Results on Learning the Past .. - Mooney (1995)   (Correct)
34   Data Mining using MLC++ - A Machine Learning Library in C++ - Kohavi, Sommerfield, Dougherty (1997)   (Correct)
34   Hybrid Probabilistic Programs - Dekhtyar, V.S.Subrahmanian (1997)   (Correct)
34   Efficient Top-Down Computation Of Queries Under The Well-Founded.. - Chen (1994)   (Correct)
33   Applications of Linear Logic to Computation: An Overview - Alexiev (1993)   (Correct)
33   Generalized Sufficient Conditions for Modular Termination of Rewriting - Gramlich (1992)   (Correct)
32   Ensuring Global Termination of Partial Deduction while Allowing.. - Martens, Gallagher (1995)   (Correct)
32   Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996)   (Correct)
32   Caching and Lemmaizing in Model Elimination Theorem Provers - Astrachan (1992)   (Correct)
31   Representing Action: Indeterminacy and Ramifications - Giunchiglia (1997)   (Correct)
31   Compiling Prior Knowledge Into an Explicit Bias - Cohen (1992)   (Correct)
31   PROTEIN: A PROver with a Theory Extension INterface - Peter Baumgartner, Ulrich Furbach (1994)   (Correct)
30   Equational Reasoning and Term Rewriting Systems - Plaisted (1993)   (Correct)
30   Principles And Implementation Of Deductive Parsing - Shieber (1995)   (Correct)
30   Towards a unified agent architecture that combines rationality with.. - Kowalski, Sadri (1996)   (Correct)
30   Definitional Trees - Antoy (1992)   (Correct)
30   Minimal Belief and Negation as Failure - Lifschitz (1994)   (Correct)
29   Mutagenesis: ILP experiments in a non-determinate biological domain - Srinivasan, Muggleton, King.. (1994)   (Correct)
29   The execution algorithm of Mercury, an efficient purely declarative.. - Zoltan Somogyi (1996)   (Correct)
29   Strong Termination of Logic Programs - Bezem (1993)   (Correct)
29   Schema-Based Transformations of Logic Programs - Fuchs (1991)   (Correct)
29   Foundations of Aggregation Constraints - Ross, Srivastava, Stuckey, Sudarshan (1994)   (Correct)
29   Bag of words and word psitions - Cohen (1995)   (Correct)
28   Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)   (Correct)
28   Partial Deduction of Disjunctive Logic Programs: A Declarative.. - Sakama (1994)   (Correct)
28   An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993)   (Correct)
28   Part-of-Speech Tagging Using Progol - Cussens (1997)   (Correct)
28   Implementation of the CORAL Deductive Database System - Ramakrishnan, Srivastava, Sudarshan, .. (1993)   (Correct)
28   Encoding Planning Problems in Nonmonotonic Logic Programs - Dimopoulos, Nebel, Koehler (1997)   (Correct)
27   Pitfalls of Agent-Oriented Development - Wooldridge, Jennings (1998)   (Correct)
27   Proof Search in the Intuitionistic Sequent Calculus - Shankar (1991)   (Correct)
27   Comparative Experiments on Disambiguating Word Senses: An.. - Mooney (1996)   (Correct)
27   A Circumscriptive Calculus of Events - Shanahan (1995)   (Correct)
27   System Description: Twelf -- A Meta-Logical Framework for Deductive.. - Frank Pfenning, Carsten Schürmann (1999)   (Correct)
27   A Semi-Functional Implementation of a Higher-Order Logic Programming.. - Elliott (1991)   (Correct)
26   A Generalization of Analytic Deduction via Labelled Deductive Systems .. - D'Agostino, Gabbay (1995)   (Correct)
26   Reform Prolog: The Language and its Implementation - Bevemyr, Lindgren, Millroth (1993)   (Correct)
26   Distributed Programming with Logic Tuple Spaces - Ciancarini (1994)   (Correct)
26   Unification and Anti-Unification in the Calculus of Constructions - Pfenning (1991)   (Correct)
26   Computation of Stable Models and its Integration with Logical Query.. - Chen, Warren (1994)   (Correct)
26   The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998)   (Correct)
26   Feature Logics - Rounds (1994)   (Correct)
25   A Linear Logical Framework - Cervesato, Pfenning (1996)   (Correct)
25   A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994)   (Correct)
25   A taste of linear logic - Wadler (1993)   (Correct)
25   Deriving Incremental Production Rules for Deductive Data - Ceri, Widom (1994)   (Correct)
25   Algebraic Properties of Idempotent Substitutions - Palamidessi (1996)   (Correct)
24   String Variable Grammar: A Logic Grammar Formalism For The Biological .. - Searls (1993)   (Correct)
24   Formalizing Database Evolution in the Situation Calculus - Reiter (1992)   (Correct)
24   Declarative Definition of Object-Oriented Multidatabase Mappings - Chomicki, Litwin (1993)   (Correct)
24   Modeling answer constraints in Constraint Logic Programs - Gabbrielli, Levi (1991)   (Correct)
24   Automated Refinement of First-Order Horn-Clause Domain Theories - Richards, Mooney (1995)   (Correct)
24   Update By Means Of Inference Rules - Przymusinski, Turner (1997)   (Correct)
24   Controlling the Search in Bottom-Up Evaluation - Ramakrishnan, Srivastava, Sudarshan (1992)   (Correct)
24   Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998)   (Correct)
24   Logic Program Synthesis - Deville, Lau (1993)   (Correct)
23   Mining Association Rules in Multiple Relations - Dehaspe (1997)   (Correct)
23   On Proof Normalization in Linear Logic - Galmiche, Perrier (1994)   (Correct)
23   An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994)   (Correct)
23   Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs - Przymusinski   (Correct)
23   On the Occur-check Free Prolog Programs - Apt, Pellegrini (1994)   (Correct)
23   Directional Types And The Annotation Method - Johan Boye (1997)   (Correct)
23   Asynchronous Communication Model Based on Linear Logic - Kobayashi (1995)   (Correct)
23   Conjunto: Constraint Logic Programming with Finite Set Domains - Gervet (1994)   (Correct)
23   Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995)   (Correct)
22   Reforming Compilation of Logic Programs - Millroth (1991)   (Correct)
22   Disjunctive Semantics based upon Partial and Bottom-Up Evaluation - Stefan Brass, Jürgen Dix (1995)   (Correct)
22   A Deductive System for Non-Monotonic Reasoning - Eiter, Leone, Mateis, Pfeifer.. (1997)   (Correct)
22   A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio, Pereira (1995)   (Correct)
22   Magic Sets and Bottom-up Evaluation of Well-Founded Models - Kemp, Stuckey (1991)   (Correct)
22   Nogood Recording for Static and Dynamic Constraint Satisfaction.. - Schiex, Verfaillie (1994)   (Correct)
22   Combining Symbolic Constraint Solvers on Algebraic Domains - Kirchner, Ringeissen (1994)   (Correct)
22   Higher-order, linear, concurrent constraint programming - Saraswat, Lincoln (1992)   (Correct)
22   Arc-Consistency and Arc-Consistency Again - Bessière, Cordier (1994)   (Correct)
22   On the Declarative and Procedural Semantics of Deductive.. - Dobbie, Topor (1995)   (Correct)
22   Pac-learning Recursive Logic Programs: Negative Results - Cohen (1995)   (Correct)
22   Refinement Types for Logical Frameworks - Frank Pfenning (1993)   (Correct)
21   Stationary Default Extensions - Przymusinska, Prymusinski (1992)   (Correct)
21   Lazy Narrowing: Strong Completeness and Eager Variable Elimination - Middeldorp, Okui, Ida (1995)   (Correct)
21   A System For Specialising Logic Programs - Gallagher (1991)   (Correct)
21   Coreference and Modality - Groenendijk (1996)   (Correct)
21   Learning Relations by Pathfinding - Richards, Mooney (1992)   (Correct)
20   Learning First-Order Definitions of Functions - Quinlan (1996)   (Correct)
20   Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1991)   (Correct)
20   Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi (1995)   (Correct)
20   Cumulative Scheduling with Task Intervals - Caseau, Laburthe (1994)   (Correct)
20   Event Calculus Planning Revisited - Shanahan (1997)   (Correct)
20   Static Analysis on Communication for Asynchronous Concurrent.. - Kobayashi, Nakade, Yonezawa (1995)   (Correct)
20   Design And Implementation Of Rock Roll: A Deductive Object-Oriented.. - Barja, Fernandes, Paton, Williams.. (1995)   (Correct)
20   Structural Regression Trees - Kramer (1996)   (Correct)
20   Natural Semantics and Some of its Meta-Theory in Elf - Michaylov, Pfenning (1991)   (Correct)
20   The Logic of Time Representation - Ladkin (1987)   (Correct)
20   Representing Priorities in Logic Programs - Sakama, Inoue (1996)   (Correct)
19   Solving Small TSPs with Constraints - Caseau, Laburthe (1997)   (Correct)
19   Two Aspects of Directional Types - Boye, Maluszynski (1995)   (Correct)
19   Nondeterministic Lisp as a Substrate for Constraint Logic Programming - Siskind, McAllester (1993)   (Correct)
19   Interval Computation as Deduction in CHIP - Lee, van Emden (1993)   (Correct)
19   Extended Logic Programs as Autoepistemic Theories - Lifschitz (1993)   (Correct)
19   Encapsulated Search for Higher-order Concurrent Constraint Programming - Christian Schulte, Gert Smolka (1994)   (Correct)
19   A New Definition of SLDNF-resolution - Apt (1992)   (Correct)
19   Finite Representation of Infinite Query Answers - Chomicki, Imielinski (1992)   (Correct)
19   Learning Probabilistic Relational Models - Friedman, Getoor, Koller, Pfeffer (1999)   (Correct)
19   Chare Kernel - A Runtime Support System For Parallel Computations - Shu (1991)   (Correct)
19   Constraint Inductive Logic Programming - Sebag, Rouveirol (1996)   (Correct)

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