The optimal model of a program with negation

This publication has 17 references indexed in Scilit:

• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Partial models and logic programming
  Theoretical Computer Science, 1986
• Notes on the mathematical aspects of Kripke's theory of truth.
  Notre Dame Journal of Formal Logic, 1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Optimal fixedpoints of logic programs
  Theoretical Computer Science, 1985
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• The optimal approach to recursive programs
  Communications of the ACM, 1977
• The Theoretical Aspects of the Optimal Fixedpoint
  SIAM Journal on Computing, 1976