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