… Reasoning under inconsistency Forgetting In this paper, a fairly general framework for
reasoning from inconsistent … previous approaches as specific cases, including reasoning from …

… In this paper, a fairly general framework for reasoning from inconsistent propositional
bases … several previous approaches as specific cases, including reasoning from preferred …

… of how inconsistent the knowledge base is. We discuss properties of the inconsistency
measure obtained, in particular in the face of well-known postulates for inconsistency measures. …

… In this regard, forgetting is a crucial part of reasoning. This paper collects and surveys
approaches to forgetting in the field of knowledge representation and reasoning, highlighting their …

… forgetting-based approach for resolving inconsistency in a propositional knowledge base [12]
to deal with inconsistency … We do not consider inconsistency which is caused only by inter-…

… a forgetting-based approach to handling inconsistency in DL-Lite. Our proposed approach
… In [52], we develop a forgetting-based approach to characterizing some distance-based …

… In addition, approaches to nonmonotonic reasoning and belief change are typically phrased
… forgetting may potentially allow a reformulation of such approaches to be with respect to the …

… a general framework for reasoning under inconsistency by forgetting … inconsistency
measures that combine the subformula forgetting based approach with other syntactic approaches…

… of the general approach of reasoning based on forgetting by Lang and Marquis [11, 12].
More precisely, we discuss an approach for reasoning with inconsistent information using …

… If a is a consequence of Π, then this rule together with Π will result in a contradiction. At each
step in the … (F3) The reasoning under Π is equivalent to the reasoning under Π if l is ignored. …