LEADER 03896nam  22006855  450 
001 996466066303316
005 20230406033300.0
010   $a3-540-30597-1
024 7 $a10.1007/b104925
035   $a(CKB)1000000000212679
035   $a(SSID)ssj0000178129
035   $a(PQKBManifestationID)11922958
035   $a(PQKBTitleCode)TC0000178129
035   $a(PQKBWorkID)10235108
035   $a(PQKB)10904042
035   $a(DE-He213)978-3-540-30597-2
035   $a(MiAaPQ)EBC3068351
035   $a(PPN)123090946
035   $a(EXLCZ)991000000000212679
100   $a20100715d2005      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aInconsistency Tolerance$b[electronic resource] /$fedited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (VIII, 300 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3300
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-24260-0 
320   $aIncludes bibliographical references and index.
327   $ato Inconsistency Tolerance -- Consistency of XML Specifications -- Consistent Query Answers in Virtual Data Integration Systems -- Representing Paraconsistent Reasoning via Quantified Propositional Logic -- On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases -- On the Complexity of Paraconsistent Inference Relations -- Approaches to Measuring Inconsistent Information -- Inconsistency Issues in Spatial Databases -- Relevant Logic and Paraconsistency.
330   $aInconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3300
606   $aDatabase management
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aDatabase Management
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
615  0$aDatabase management.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615 14$aDatabase Management.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
676   $a620/.0045
702   $aBertossi$b Leopoldo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHunter$b Anthony$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchaub$b Torsten$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466066303316
996   $aInconsistency Tolerance$9772551
997   $aUNISA