Contextual hypotheses and semantics of logic programs

DOI10.1017/S1471068411000378MaRDI QIDQ4897703zbMATH OpenOpenAlexFDO

Authors Éric Martin

Publication date 27 December 2012

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068411000378

zbMATH Keywords

answer-set semanticsclassical negationcontextual hypotheseshypothetical reasoningKripke-Kleene semanticsstable model semanticswell-founded semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Logic programming as classical inference
• scientific article; zbMATH DE number 1929962
• An argumentation-theoretic foundation for logic programming
• Hypothesis-based semantics of logic programs in multivalued logics
• Hypothetical reasoning in logic programming: A semantic approach

Cites work

• `Classical' negation in nonmonotonic reasoning and logic programming
• A kripke-kleene semantics for logic programs*
• An overview of nonmonotonic reasoning and logic programming
• Autoepistemic logic
• Classes of terminating logic programs
• Equilibrium logic
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Logic programming revisited: logic programs as inductive definitions
• Parametrized semantics of logic programs -- a unifying framework
• Revisiting quantification in autoepistemic logic
• Semantical considerations on nonmonotonic logic
• The defining power of stratified and hierarchical logic programs
• The Semantics of Predicate Logic as a Programming Language
• Towards a Systematic Account of Different Semantics for Logic Programs

Cited in

(9)

• Contexts in dynamic predicate logic
• Nonmonotonicity in the framework of parametric logic
• Disjunctive logic programs, answer sets, and the cut rule
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Hypothetical reasoning in logic programs
• scientific article; zbMATH DE number 1929962 (Why is no real title available?)
• Hypothetical reasoning and definitional reflection in logic programming
• Hypothesis-based semantics of logic programs in multivalued logics
• Logic programming as classical inference

This page was built for publication: Contextual hypotheses and semantics of logic programs

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