Default logic generalized and simplified

DOI10.1007/S10472-009-9109-XzbMath1165.68498OpenAlexW2009317964MaRDI QIDQ1028638

Alexander Bochman

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9109-x

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Abstract deductive systems (03B22)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A causal approach to nonmonotonic reasoning
• Semantical considerations on nonmonotonic logic
• A logical framework for default reasoning
• A logic for default reasoning
• Non-monotonic logic. I
• Semantical investigations in Heyting's intuitionistic logic
• A logic of knowledge and justified assumption
• Minimal belief and negation as failure
• A theory of nonmonotonic rule systems I
• An abstract, argumentation-theoretic approach to default reasoning
• On the intertranslatability of non-monotonic logics
• A logic of universal causation
• Nonmonotonic Logic II
• Negation as failure in the head
• Modal nonmonotonic logics
• Collective Argumentation and Disjunctive Logic Programming
• Explanatory Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness

This page was built for publication: Default logic generalized and simplified