Knowledge representation: modalities, conditionals, and nonmonotonic reasoning

DOI10.1007/978-3-030-06164-7_2zbMATH Open1547.68735MaRDI QIDQ6602216FDOQ6602216

Authors: Andreas Herzig, P. Besnard 

Publication date: 11 September 2024

Recommendations

• scientific article; zbMATH DE number 125988
• Conditionals in reasoning
• scientific article; zbMATH DE number 4166940
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Publication:4941839

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Reasoning about information change
• Expressivity and completeness for public update logics via reduction axioms
• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic inference based on expectations
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• What does a conditional knowledge base entail?
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Counterfactuals and updates as inverse modalities
• A logic for default reasoning
• Non-monotonic logic. I
• For the Sake of the Argument
• Title not available (Why is that?)
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• A non-monotonic description logic for reasoning about typicality
• Description logics of minimal knowledge and negation as failure
• Basic conditional logic
• Conditionals: from philosophy to computer science
• Nested sequent calculi for normal conditional logics
• Logics of public communications
• Five faces of minimality
• An empirical test of patterns for nonmonotonic inference
• Counterfactual desirability
• Alternative approaches to default logic
• Title not available (Why is that?)
• Cumulative default logic: In defense of nonmonotonic inference rules
• Title not available (Why is that?)
• Reasoning about uncertain conditionals
• Title not available (Why is that?)
• Formalizing nonmonotonic reasoning systems
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Standard sequent calculi for Lewis' logics of counterfactuals
• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
• Title not available (Why is that?)

This page was built for publication: Knowledge representation: modalities, conditionals, and nonmonotonic reasoning

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