A note on the stable model semantics for logic programs

DOI10.1016/S0004-3702(97)00058-1zbMath0903.68175MaRDI QIDQ1127348

Michael Kaminski

Publication date: 13 August 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

logic programsstable model semanticsHerbrand interpretationsopen default theories

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Related Items

Answer set based design of knowledge systems, Default theories over monadic languages, Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning, Logic programming and knowledge representation---The A-Prolog perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical framework for default reasoning
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• General logical databases and programs: Default logic semantics and stratification
• Model theory.
• On the declarative and procedural semantics of logic programs
• A comparative study of open default theories
• Negation in logic programming
• A procedural semantics for well-founded negation in logic programs
• Logic programming and negation: A survey
• Extensions for open default theories via the domain closure assumption