The near-Horn approach to disjunctive logic programming
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 345-369
- https://doi.org/10.1007/bfb0013613
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A comparison of three PROLOG extensionsThe Journal of Logic Programming, 1992
- Near-Horn Prolog and beyondJournal of Automated Reasoning, 1991
- A fixpoint semantics for disjunctive logic programsThe Journal of Logic Programming, 1990
- Weak Generalized Closed World AssumptionJournal of Automated Reasoning, 1989
- Inferring negative information from disjunctive databasesJournal of Automated Reasoning, 1988
- Near-Horn Prolog.Published by Defense Technical Information Center (DTIC) ,1987
- An extension to linear resolution with selection functionInformation Processing Letters, 1982
- Linear resolution with selection functionArtificial Intelligence, 1972
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968