Generalized well-founded semantics for logic programs

This publication has 7 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• A fixpoint semantics for disjunctive logic programs
  The Journal of Logic Programming, 1990
• Every logic program has a natural stratification and an iterated least fixed point model
  Published by Association for Computing Machinery (ACM) ,1989
• Unfounded sets and well-founded semantics for general logic programs
  Published by Association for Computing Machinery (ACM) ,1988
• Negation in Logic Programming
  Published by Elsevier ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976