The Well Founded Semantics for Disjunctive Logic Programs

This publication has 12 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• A procedural semantics for well founded negation in logic programs
  Published by Association for Computing Machinery (ACM) ,1989
• Every logic program has a natural stratification and an iterated least fixed point model
  Published by Association for Computing Machinery (ACM) ,1989
• Inferring negative information from disjunctive databases
  Journal of Automated Reasoning, 1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Negation as failure. II
  The Journal of Logic Programming, 1985
• The extended closed world assumption and its relationship to parallel circumscription
  Published by Association for Computing Machinery (ACM) ,1985
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Universal Unification
  Published by Springer Nature ,1984