LEADER 02654oam 2200541 450 001 9910437589203321 005 20190911103512.0 010 $a1-4614-6750-0 024 7 $a10.1007/978-1-4614-6750-2 035 $a(OCoLC)834507582 035 $a(MiFhGG)GVRL6XGH 035 $a(EXLCZ)993280000000007696 100 $a20130201d2013 uy 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 12$aA general framework for reasoning on inconsistency /$fMaria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud 205 $a1st ed. 2013. 210 1$aNew York :$cSpringer,$d2013. 215 $a1 online resource (vii, 45 pages) 225 1 $aSpringerBriefs in Computer Science,$x2191-5768 300 $a"ISSN: 2191-5768." 300 $a"ISSN: 2191-5776 (electronic)." 311 $a1-4614-6749-7 320 $aIncludes bibliographical references and index. 327 $aIntroduction and Preliminary Concepts -- A General Framework for Handling Inconsistency -- Algorithms -- Handling Inconsistency in Monotonic Logics -- Link with Existing Approaches -- Conclusions. 330 $aThis SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied.  The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today. 410 0$aSpringerBriefs in computer science. 606 $aLogic design 606 $aInconsistency (Logic) 606 $aComputer logic 615 0$aLogic design. 615 0$aInconsistency (Logic) 615 0$aComputer logic. 676 $a001.6 676 $a001.642 700 $aMartinez$b Maria Vanina$4aut$4http://id.loc.gov/vocabulary/relators/aut$01059359 702 $aMolinaro$b Cristian 702 $aSubrahmanian$b V. S. 702 $aAmgoud$b Leila 801 0$bMiFhGG 801 1$bMiFhGG 906 $aBOOK 912 $a9910437589203321 996 $aA General Framework for Reasoning On Inconsistency$92505469 997 $aUNINA LEADER 02310pam 2200661 a 450 001 9910495959903321 005 20230829011019.0 010 $a0-585-28542-X 035 $a(CKB)111004366700836 035 $a(MH)001369108-2 035 $a(SSID)ssj0000120300 035 $a(PQKBManifestationID)11988840 035 $a(PQKBTitleCode)TC0000120300 035 $a(PQKBWorkID)10080876 035 $a(PQKB)10031254 035 $a(EXLCZ)99111004366700836 100 $a19870709d1988 ub 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aChaucerian play $ecomedy and control in the Canterbury tales /$fLaura Kendrick$b[electronic resource] 210 0 $aBerkeley $cUniversity of California Press$dc1988 215 $a1 online resource (xi, 215 p., [24] p. of plates )$cill. ; 300 $aIncludes index. 311 $a0-520-06194-2 320 $aBibliography: p. 175-208. 517 $aChaucerian play 531 $aCHAUCERIAN PLAY: COMEDY & CONTROL IN THE CANTERBURY TALES 606 $aPlay in literature 606 $aComic, The, in literature 606 $aChristian pilgrims and pilgrimages in literature$xHistory and criticism 606 $aTales, Medieval 606 $aComic, The, in literature 606 $aPlay in literature 606 $aEnglish$2HILCC 606 $aLanguages & Literatures$2HILCC 606 $aEnglish Literature$2HILCC 615 0$aPlay in literature. 615 0$aComic, The, in literature. 615 0$aChristian pilgrims and pilgrimages in literature$xHistory and criticism. 615 0$aTales, Medieval. 615 0$aComic, The, in literature. 615 0$aPlay in literature. 615 7$aEnglish 615 7$aLanguages & Literatures 615 7$aEnglish Literature 676 $a821/.1 700 $aKendrick$b Laura$0782448 801 0$bDLC 801 1$bDLC 801 2$bHLS 906 $aBOOK 912 $a9910495959903321 996 $aChaucerian play$92857750 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress