Negation in Logic Programming

This publication has 27 references indexed in Scilit:

• Comments on “general failure of logic programs”
  The Journal of Logic Programming, 1986
• Negation as inconsistency. I
  The Journal of Logic Programming, 1986
• Some issues and trends in the semantics of logic programming
  Published by Springer Nature ,1986
• A kripke-kleene semantics for logic programs*
  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
• The intractability of resolution
  Theoretical Computer Science, 1985
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
  Information and Control, 1982
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
  Archive for Mathematical Logic, 1969