On the Declarative Semantics of Logic Programs with Negation
- 1 January 1988
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Design overview of the NAIL! SystemPublished by Springer Nature ,1986
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976