Formalizing a logic for logic programming
- 1 June 1992
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 5 (2-4) , 279-302
- https://doi.org/10.1007/bf01543479
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Autoepistemic logicJournal of the ACM, 1991
- Logic programming as constructivism: a formalization and its application to databasesPublished by Association for Computing Machinery (ACM) ,1989
- A procedural semantics for well founded negation in logic programsPublished by Association for Computing Machinery (ACM) ,1989
- Every logic program has a natural stratification and an iterated least fixed point modelPublished by Association for Computing Machinery (ACM) ,1989
- Why not negation by fixpoint?Published by Association for Computing Machinery (ACM) ,1988
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- On the Declarative Semantics of Logic Programs with NegationPublished by Elsevier ,1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982