Handling inconsistency in monotonic logics

Maria Vanina Martinez*, Cristian Molinaro, V. S. Subrahmanian, Leila Amgoud

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We consider several monotonic logics and show how our framework is well-suited to handle inconsistency in them. It is particularly important to note that reasoning about inconsistency in many of these logics has not been studied before. As a consequence, our general framework for reasoning about inconsistency is not only novel, but it also yields new algorithms and new results for such reasoning in existing logics.

Original languageEnglish (US)
Title of host publicationSpringerBriefs in Computer Science
PublisherSpringer
Pages21-33
Number of pages13
Edition9781461467496
DOIs
StatePublished - 2013
Externally publishedYes

Publication series

NameSpringerBriefs in Computer Science
Number9781461467496
Volume0
ISSN (Print)2191-5768
ISSN (Electronic)2191-5776

ASJC Scopus subject areas

  • Computer Science(all)

Cite this