K. R. Apt and M. H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):842--862, 1982. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
SLT-Resolution for the Well-Founded Semantics - Shen, Yuan, You (Correct)
Logic Programming, Functional Programming, and Inductive.. - Paulson, Smith (Correct)
Ultimate Approximations in Nonmonotonic Knowledge.. - Denecker, Marek.. (2002) (2 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
A Treatment of Higher-Order Features in Logic Programming - Nadathur (2003) (4 citations) (Correct)
Implementation Considerations for Higher-Order Features in.. - Jayaraman, Wilson (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
Approximating the Semantics of Logic Programs by Recurrent.. - Hölldobler, Störr (1999) (2 citations) (Correct)
Ultimate Approximations in Nonmonotonic Knowledge.. - Denecker, Marek.. (2002) (2 citations) (Correct)
Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) (Correct)
Non-Termination Inference and Optimal Termination.. - Mesnard, Payet.. (Correct)
Approximating the Semantics of Logic Programs by Recurrent.. - Hölldobler (1999) (2 citations) (Correct)
Recurrent Neural Networks to Approximate the Semantics.. - Hölldobler, Kalinke.. (Correct)
Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1997) (42 citations) (Correct)
Semantics of Well-Moded Input-Consuming Logic Programs - Bossi, Etalle, Rossi (2000) (Correct)
A Rewriting Prolog Semantics - Kulas (2000) (Correct)
Encoding Transition Systems in Sequent Calculus - McDowell, Miller, Palamidessi (2000) (12 citations) (Correct)
Modularity and Genericity revisited for PROLOG - Marc Bernard Francois (Correct)
Defining Standard Prolog in Rewriting Logic - Kulas, Beierle (2000) (Correct)
Modularity in Logic Programming - Pasarella (Correct)
The Semantics of Constraint Logic Programs - Jaffar, Maher, Marriott, Stuckey (1996) (10 citations) (Correct)
Logical Debugging - Lee, Dershowitz (Correct)
Higher-Order Logic as the Basis for Logic Programming - Nadathur (1989) (25 citations) (Correct)
Implementation Considerations for Higher-Order Features in.. - Nadathur, Wilson (1993) (5 citations) (Correct)
Well-Founded Semantics, Generalized - Fitting (1991) (2 citations) (Correct)
Query Evaluation in Deductive Databases with Alternating Fixpoint.. - Chen (1995) (2 citations) (Correct)
Sequent Calculus and the Specification of Computation - Lecture.. - Miller (1998) (Correct)
A Full Formalization of SLD-Resolution in the Calculus of.. - Jaume (Correct)
exists -Universal Termination of Logic Programs - Ruggieri (1998) (Correct)
Negation in Logic and Deductive Databases - Wang (1999) (Correct)
Nominal Logic Programming - Cheney (2004) (Correct)
An Algebraic Semantics of Prolog Control - Ross (1992) (1 citation) (Correct)
Negation as Partial Failure - Mobasher, Leszczylowski, Slutzki.. (1993) (Correct)
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
Algebraic Semantics for Knowledge-based Logic Programs - Bamshad Mobasher Univ (1994) (Correct)
Implementation issues in Inductive Logic Programming - Kolter (2003) (Correct)
Higher-Order Horn Clauses - Gopalan Nadathur Duke (1990) (35 citations) (Correct)
Ultimate Approximation and Its Application in.. - Denecker, Marek.. (2004) (1 citation) (Correct)
A Logic-Based Integration of Query Processing and Knowledge.. - Aragao, Fernandes (2004) (Correct)
Ultimate Approximation and Its Application in Nonmonotonic.. - Denecker, al. (2004) (1 citation) (Correct)
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (10 citations) (Correct)
An Overview of Linear Logic Programming - Dale Miller Inria (Correct)
Logic Programming from the Perspective of Algebraic Semantics - Plaza (1997) (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
Disjunctive Logic Programming: A Survey And Assessment - Minker, Seipel (Correct)
Challenge problems for the integration of logic and.. - Hölldobler (1999) (1 citation) (Correct)
Quantitative Deduction And Its Fixpoint Theory - van Emden (1986) (31 citations) Self-citation (Van emden) (Correct)
Declarative Interpretations Reconsidered - Apt, Gabbrielli (1994) (7 citations) Self-citation (Apt) (Correct)
A direct proof for the completeness of SLD-resolution - Stärk (1990) (1 citation) Self-citation (Apt Van emden) (Correct)
Sufficient Conditions for the Existence of Unique Minimal.. - Zhou, Muller Self-citation (Apt) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC