Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

This publication has 44 references indexed in Scilit:

• Model generation and state generation for disjunctive logic programs
  The Journal of Logic Programming, 1997
• A fixpoint characterization of abductive logic programs
  The Journal of Logic Programming, 1996
• Stable models and their computation for logic programming with inheritance and true negation
  The Journal of Logic Programming, 1996
• The expressive power of partial models for disjunctive deductive databases
  Published by Springer Nature ,1996
• Bottom-up computation of perfect models for disjunctive theories
  The Journal of Logic Programming, 1995
• Logic programming and negation: A survey
  The Journal of Logic Programming, 1994
• Logic programming and knowledge representation
  The Journal of Logic Programming, 1994
• The family of stable models
  The Journal of Logic Programming, 1993
• Safe computation of the well-founded semantics of datalog queries
  Information Systems, 1992
• A fixpoint semantics for disjunctive logic programs
  The Journal of Logic Programming, 1990