Contextual hypotheses and semantics of logic programs

DOI10.1017/S1471068411000378zbMath1448.68204OpenAlexW2963849301MaRDI QIDQ4897703

Eric 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

well-founded semanticsclassical negationstable model semanticshypothetical reasoningcontextual hypothesesKripke-Kleene semanticsanswer-set semantics

Mathematics Subject Classification ID

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

Related Items (3)

Logic programming as classical inference ⋮ Nonmonotonicity in the framework of parametric logic ⋮ Disjunctive logic programs, answer sets, and the cut rule

Cites Work

• Unnamed Item
• Equilibrium logic
• Semantical considerations on nonmonotonic logic
• `Classical' negation in nonmonotonic reasoning and logic programming
• Parametrized semantics of logic programs -- a unifying framework
• Towards a Systematic Account of Different Semantics for Logic Programs
• A kripke-kleene semantics for logic programs*
• The defining power of stratified and hierarchical logic programs
• The Semantics of Predicate Logic as a Programming Language
• An overview of nonmonotonic reasoning and logic programming
• Autoepistemic logic
• Classes of terminating logic programs
• Logic programming revisited
• Revisiting quantification in autoepistemic logic

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