Compiling circumscriptive theories into logic programs

This publication has 12 references indexed in Scilit:

• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• On the Declarative Semantics of Logic Programs with Negation
  Published by Elsevier ,1988
• Negation as Failure Using Tight Derivations for General Logic Programs
  Published by Elsevier ,1988
• Negation as failure: Careful closure procedure
  Artificial Intelligence, 1986
• Applications of circumscription to formalizing common-sense knowledge
  Artificial Intelligence, 1986
• Saturation, nonmonotonic reasoning and the closed-world assumption
  Artificial Intelligence, 1985
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980
• Negation as Failure
  Published by Springer Nature ,1978
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Theorem-Proving for Computers: Some Results on Resolution and Renaming
  The Computer Journal, 1966