Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
type: Item
instance of: scholarly article
title: Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
zbMATH Open document ID: 1547.68735
DOI: 10.1007/978-3-030-06164-7_2
author: Andreas Herzig
author: P. Besnard
publication date: 2024-09-11T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7910837
MaRDI profile type: Publication
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Nested sequent calculi for normal conditional logics
cites work: Conditionals: from philosophy to computer science
cites work: Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
cites work: Q4692931
cites work: Counterfactual Desirability
cites work: Cumulative default logic: In defense of nonmonotonic inference rules
cites work: Basic conditional logic
cites work: Alternative approaches to default logic
cites work: Description logics of minimal knowledge and negation as failure
cites work: Formalizing nonmonotonic reasoning systems
cites work: Q3703316
cites work: Nonmonotonic inference based on expectations
cites work: Reasoning about information change
cites work: A non-monotonic description logic for reasoning about typicality
cites work: Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
cites work: Q4236367
cites work: Expressivity and completeness for public update logics via reduction axioms
cites work: In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q4323639
cites work: What does a conditional knowledge base entail?
cites work: For the Sake of the Argument
cites work: Five faces of minimality
cites work: Q3486549
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Non-monotonic logic. I
cites work: Semantical considerations on nonmonotonic logic
cites work: An empirical test of patterns for nonmonotonic inference
cites work: Q4343988
cites work: Reasoning about uncertain conditionals
cites work: Logics of public communications
cites work: A logic for default reasoning
cites work: Counterfactuals and updates as inverse modalities
cites work: Q4495851
cites work: Q5494230
description: scientific article; zbMATH DE number 7910837