Handling and measuring inconsistency in non-monotonic logics

, &
Artificial Intelligence 286 (C):103344 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103344

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Strong inconsistency.Gerhard Brewka, Matthias Thimm & Markus Ulbricht - 2019 - Artificial Intelligence 267 (C):78-117.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
On the measure of conflicts: an argumentation-based framework.Badran Raddaoui - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):240-259.
Measuring Inconsistency in Generalized Propositional Logic.John Grant - 2020 - Logica Universalis 14 (3):331-356.
HL2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions.Guido Vanackere - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):317-338.
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
Semantic interpolation.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Applied Non-Classical Logics 20 (4):345-371.
Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
Handling inconsistency in knowledge systems.Gerd Wagner - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):147-150.
Handling inconsistency in knowledge systems.Gerd Wagner - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):7-12.

Analytics

Added to PP
2020-12-22

Downloads
14 (#990,773)

6 months
10 (#268,500)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Measuring inconsistency in some branching time logics.John Grant - 2021 - Journal of Applied Non-Classical Logics 31 (2):85-107.
Postulate satisfaction for inconsistency measures in monotonic logics and databases.John Grant - 2023 - Journal of Applied Non-Classical Logics 33 (3):537-560.

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Causes and Explanations: A Structural-Model Approach. Part II: Explanations.Joseph Y. Halpern & Judea Pearl - 2005 - British Journal for the Philosophy of Science 56 (4):889-911.

View all 16 references / Add more references