Default logic generalized and simplified

DOI10.1007/S10472-009-9109-XMaRDI QIDQ1028638zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• General Default Logic
• General default logic
• scientific article; zbMATH DE number 140378
• scientific article; zbMATH DE number 408781
• scientific article; zbMATH DE number 140388

Cites work

• A causal approach to nonmonotonic reasoning
• A logic for default reasoning
• A logic of knowledge and justified assumption
• A logic of universal causation
• A logical framework for default reasoning
• A theory of nonmonotonic rule systems I
• An abstract, argumentation-theoretic approach to default reasoning
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Collective Argumentation and Disjunctive Logic Programming
• Explanatory Nonmonotonic Reasoning
• scientific article; zbMATH DE number 1628513 (Why is no real title available?)
• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 4166925 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1884384 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Minimal belief and negation as failure
• Modal nonmonotonic logics
• Negation as failure in the head
• Non-monotonic logic. I
• Nonmonotonic Logic II
• On the intertranslatability of non-monotonic logics
• Semantical considerations on nonmonotonic logic
• Semantical investigations in Heyting's intuitionistic logic
• Strongly equivalent logic programs

Cited in

(8)

• Default logic about assertions
• Yet some more complexity results for default logic
• scientific article; zbMATH DE number 4033708 (Why is no real title available?)
• scientific article; zbMATH DE number 140378 (Why is no real title available?)
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 1051025 (Why is no real title available?)
• General Default Logic
• General default logic

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

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