Three-valued formalization of logic programming

This publication has 9 references indexed in Scilit:

• Logic programming as constructivism: a formalization and its application to databases
  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
• The alternating fixpoint of logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1989
• The anomalous extension problem in default reasoning
  Artificial Intelligence, 1988
• Unfounded sets and well-founded semantics for general logic programs
  Published by Association for Computing Machinery (ACM) ,1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• Nonmonotonic logic and temporal projection
  Artificial Intelligence, 1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• A truth maintenance system
  Artificial Intelligence, 1979