Explanatory Nonmonotonic Reasoning

DOI10.1142/5707zbMath1092.68092OpenAlexW4301506396MaRDI QIDQ4676553

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

default logicnon-monotonic reasoninglogic programmingcausal reasoningargumentation theorymodal nonmonotonic logicsbiconsequence relation

Mathematics Subject Classification ID

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

Related Items

Here and There among Logics for Logic Programming ⋮ Adaptive logic characterizations of input/output logic ⋮ Unnamed Item ⋮ A concept approach to input/output logic ⋮ Substantive and procedural norms in normative multiagent systems ⋮ Representation theorems for explanatory reasoning based on cumulative models ⋮ Meta-argumentation modelling. I: Methodology and techniques ⋮ Default logic generalized and simplified

Uses Software

• ASSAT

This page was built for publication: Explanatory Nonmonotonic Reasoning