Model generation and state generation for disjunctive logic programs
- 31 July 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 32 (1) , 49-69
- https://doi.org/10.1016/s0743-1066(96)00116-1
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Disjunctive deductive databasesPublished by Springer Nature ,2005
- Bottom-up computation of perfect models for disjunctive theoriesThe Journal of Logic Programming, 1995
- SATCHMORE: SATCHMO with RElevancyJournal of Automated Reasoning, 1995
- Disjunctive LP+integrity constraints= stable model semanticsAnnals of Mathematics and Artificial Intelligence, 1993
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- A fixpoint semantics for disjunctive logic programsThe Journal of Logic Programming, 1990
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955