On the Declarative Semantics of Deductive Databases and Logic Programs

This publication has 10 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• A decidable query answering algorithm for circumscriptive theories
  Published by Association for Computing Machinery (ACM) ,1986
• Closed-world databases and circumscription
  Artificial Intelligence, 1985
• The extended closed world assumption and its relationship to parallel circumscription
  Published by Association for Computing Machinery (ACM) ,1985
• Positivism vs minimalism in deductive databases
  Published by Association for Computing Machinery (ACM) ,1985
• Saturation, nonmonotonic reasoning and the closed-world assumption
  Artificial Intelligence, 1985
• Deduction in non-Horn databases
  Journal of Automated Reasoning, 1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Proving termination with multiset orderings
  Communications of the ACM, 1979
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976