Handling inconsistency in monotonic logics

Maria Vanina Martinez; Cristian Molinaro; V. S. Subrahmanian; Leila Amgoud

doi:10.1007/978-1-4614-6750-2_4

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 proceeding › Chapter

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 language	English (US)
Title of host publication	SpringerBriefs in Computer Science
Publisher	Springer
Pages	21-33
Number of pages	13
Edition	9781461467496
DOIs	https://doi.org/10.1007/978-1-4614-6750-2_4
State	Published - 2013
Externally published	Yes

Publication series

Name	SpringerBriefs in Computer Science
Number	9781461467496
Volume	0
ISSN (Print)	2191-5768
ISSN (Electronic)	2191-5776

ASJC Scopus subject areas

Computer Science(all)

Access to Document

10.1007/978-1-4614-6750-2_4

Cite this

@inbook{f401b22b28d6413085a3caacf003560f,

title = "Handling inconsistency in monotonic logics",

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.",

author = "Martinez, {Maria Vanina} and Cristian Molinaro and Subrahmanian, {V. S.} and Leila Amgoud",

note = "Publisher Copyright: {\textcopyright} 2013, The Author(s).",

year = "2013",

doi = "10.1007/978-1-4614-6750-2_4",

language = "English (US)",

series = "SpringerBriefs in Computer Science",

publisher = "Springer",

number = "9781461467496",

pages = "21--33",

booktitle = "SpringerBriefs in Computer Science",

edition = "9781461467496",

}

TY - CHAP

T1 - Handling inconsistency in monotonic logics

AU - Martinez, Maria Vanina

AU - Molinaro, Cristian

AU - Subrahmanian, V. S.

AU - Amgoud, Leila

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85044988976&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85044988976&partnerID=8YFLogxK

U2 - 10.1007/978-1-4614-6750-2_4

DO - 10.1007/978-1-4614-6750-2_4

M3 - Chapter

AN - SCOPUS:85044988976

T3 - SpringerBriefs in Computer Science

SP - 21

EP - 33

BT - SpringerBriefs in Computer Science

PB - Springer

ER -

Handling inconsistency in monotonic logics

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this