Minimal belief and negation as failure

DOI10.1016/0004-3702(94)90103-1zbMath0820.03016OpenAlexW2034442203MaRDI QIDQ1342215

Vladimir Lifschitz

Publication date: 11 September 1995

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

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90103-1

zbMATH Keywords

nonmonotonic logicsemanticslogic of minimal belief and negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17)

Related Items (23)

Linking Open-World Knowledge Bases Using Nonmonotonic Rules ⋮ The Truth about Defaults ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Belief, provability, and logic programs ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ An epistemic operator for description logics ⋮ Autoepistemic logic of knowledge and beliefs ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ Relating only knowing to minimal belief and negation as failure ⋮ Logic programming as classical inference ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On the decidability and complexity of reasoning about only knowing ⋮ Embedding prioritized circumscription in disjunctive logic programs ⋮ A sound and complete proof theory for the generalized logic of only knowing ⋮ Automata and Answer Set Programming ⋮ Autoepistemic answer set programming ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Default logic generalized and simplified ⋮ Consistency properties and set based logic programming ⋮ Set based logic programming ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Cites Work

• Foundations of a functional approach to knowledge representation
• A logic for default reasoning
• A logic of knowledge and justified assumption
• All I know: A study in autoepistemic logic
• What should a database know?
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimal belief and negation as failure