A note on the stable model semantics for logic programs

DOI10.1016/S0004-3702(97)00058-1zbMATH Open0903.68175MaRDI QIDQ1127348FDOQ1127348

Michael Kaminski

Publication date: 13 August 1998

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

Recommendations

• scientific article; zbMATH DE number 1368933
• On stable-like semantics for logic programs
• The Stable Models of a Predicate Logic Program
• Logic programs with stable model semantics as a constraint programming paradigm
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Expressiveness of logic programs under the general stable model semantics
• Contributions to the stable model semantics of logic programs with negation
• scientific article; zbMATH DE number 1114052
• Stable models and their computation for logic programming with inheritance and true negation
• On the existence of stable models of non-stratified logic programs

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)

Cites Work

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

Cited In (21)

• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Title not available (Why is that?)
• Stable and extension class theory for logic programs and default logics
• Title not available (Why is that?)
• Stable-unstable semantics: Beyond NP with normal logic programs
• Answer set based design of knowledge systems
• On the expressibility of stable logic programming
• Extending and implementing the stable model semantics
• Default theories over monadic languages
• Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
• Expressiveness of stable model semantics for disjunctive logic programs with functions
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Title not available (Why is that?)
• Logic programs with stable model semantics as a constraint programming paradigm
• A model of intuitionistic affine logic from stable domain theory
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• A Free Logic for Stable Models with Partial Intensional Functions
• Title not available (Why is that?)
• Logic programming and knowledge representation---The A-Prolog perspective
• On the existence of stable models of non-stratified logic programs
• Contributions to the stable model semantics of logic programs with negation

This page was built for publication: A note on the stable model semantics for logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127348)