Stable semantics for disjunctive programs

This publication has 19 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• Semantics of disjunctive logic programs and deductive databases
  Published by Springer Nature ,1991
• The Well Founded Semantics for Disjunctive Logic Programs
  Published by Elsevier ,1990
• Negation as failure using tight derivations for general logic programs
  The Journal of Logic Programming, 1989
• On the relationship between circumscription and negation as failure
  Artificial Intelligence, 1989
• Autoepistemic stable closures and contradiction resolution
  Lecture Notes in Computer Science, 1989
• Negation in logic programming
  The Journal of Logic Programming, 1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Semantical considerations on nonmonotonic logic
  Artificial Intelligence, 1985
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976