The family of stable models
- 30 November 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 17 (2-4) , 197-225
- https://doi.org/10.1016/0743-1066(93)90031-b
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Kleene's Logic, GeneralizedJournal of Logic and Computation, 1991
- Bilattices and the semantics of logic programmingThe Journal of Logic Programming, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986
- A kripke-kleene semantics for logic programs*The 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
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955