A unified algebraic framework for non-monotonicity

MaRDI QIDQ5018510zbMATH OpenFDO

Authors Nourhan Ehab, Haythem O. Ismail

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1907.09103, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2019.11

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• Nonmonotonic Logics and Their Algebraic Foundations
• scientific article; zbMATH DE number 4166925
• scientific article; zbMATH DE number 2113952
• scientific article; zbMATH DE number 935037

Cites work

• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• A first-order conditional probability logic
• A logic for default reasoning
• A unified algebraic framework for non-monotonicity
• An abstract, argumentation-theoretic approach to default reasoning
• Autoepistemic logic
• Circumscription - a form of non-monotonic reasoning
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• scientific article; zbMATH DE number 4166925 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 695095 (Why is no real title available?)
• Kernel contraction
• LogAB: A first-order, non-paradoxical, algebraic logic of belief
• Nonmonotonic reasoning, preferential models and cumulative logics
• The SNePS family

Cited in

(2)

• scientific article; zbMATH DE number 4174346 (Why is no real title available?)
• A unified algebraic framework for non-monotonicity

This page was built for publication: A unified algebraic framework for non-monotonicity

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