Maartin H. van Emden and Robert Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23(4):733--742, 1976. 144 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
Bottom-up Evaluation and Query Optimization of Well-Founded - Models David Kemp (1995) (19 citations) (Correct)
Strong Equivalence of Nonmonotonic Theories - an Algebraic.. - Truszczynski (Correct)
Epistemic Foundation of the Well-Founded Semantics over.. - Loyer, Straccia (Correct)
On the Semantics of Logic Program Composition - Antonio Brogi Department (Correct)
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
Preferred Answer Sets for Ordered Logic Programs - Davy Van Nieuwenborgh (2002) (1 citation) (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)
Reliable Semantics for Extended Logic Programs with Rule.. - Analyti, Pramanik (2004) (6 citations) (Correct)
Non-failure Analysis and Granularity Control in Parallel.. - Garcia (2000) (Correct)
Logic Programs with Functions - And Default Values (Correct)
Algebraic Semantics for Knowledge-based Logic Programs - Bamshad Mobasher Univ (1994) (Correct)
The Contraint Operator in the MedLan Language - Asirelli, Renso (Correct)
Polymorphically Typed Logic Programs - Yardeni, Fruehwirth, Shapiro (1991) (31 citations) (Correct)
Hybrid Probabilistic Logic Programs as Residuated Logic Programs - Damasio, Pereira (2001) (5 citations) (Correct)
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
Implementation issues in Inductive Logic Programming - Kolter (2003) (Correct)
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
A Declarative Characterisation of Disjunctive - Paraconsistent Answer Sets (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
Extended Homogenization for Multi-Adjoint Logic Programs - Moreno, Aciego (Correct)
Preferred Well-Founded Semantics for Logic Programming By.. - Schaub, Wang (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