Explanatory Nonmonotonic Reasoning

DOI10.1142/5707MaRDI QIDQ4676553zbMATH OpenOpenAlexFDO

Authors Alexander Bochman

Publication date 3 May 2005

Published in Advances in Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/fc529c24a1d2194b444ec5e76360eafb9a691055

zbMATH Keywords

argumentation theorybiconsequence relationcausal reasoningdefault logiclogic programmingmodal nonmonotonic logicsnon-monotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Two theories of nonmonotonic reasoning
• scientific article; zbMATH DE number 44622
• scientific article; zbMATH DE number 408769
• Nonmonotonic logics. Basic concepts, results, and techniques
• scientific article; zbMATH DE number 824740

Cited in

(21)

• Default logic generalized and simplified
• Why Friedman's non-monotonic reasoning defies Hempel's covering law model
• Strong explanations for nonmonotonic reasoning
• Meta-argumentation modelling. I: Methodology and techniques
• Here and there among logics for logic programming
• Two theories of nonmonotonic reasoning
• Adaptive logic characterizations of input/output logic
• scientific article; zbMATH DE number 589749 (Why is no real title available?)
• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• Logic in nonmonotonic reasoning
• Normative reasoning and consequence
• Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18--20 2021, Hangzhou, China
• Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10--12, 2022
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• An inferential theory of causal reasoning
• How artificial intelligence leads to knowledge why: an inquiry inspired by Aristotle's posterior analytics
• A causal approach to nonmonotonic reasoning
• A concept approach to input/output logic
• Substantive and procedural norms in normative multiagent systems
• Causality, modality, and explanation
• Representation theorems for explanatory reasoning based on cumulative models

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Explanatory Nonmonotonic Reasoning

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