Advertisement

Inconsistency Tolerance

  • Leopoldo Bertossi
  • Anthony Hunter
  • Torsten Schaub

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3300)

Table of contents

  1. Front Matter
  2. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
    Pages 1-14
  3. Marcelo Arenas, Wenfei Fan, Leonid Libkin
    Pages 15-41
  4. Leopoldo Bertossi, Loreto Bravo
    Pages 42-83
  5. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Pages 84-118
  6. Sylvie Coste-Marquis, Pierre Marquis
    Pages 151-190
  7. Anthony Hunter, Sébastien Konieczny
    Pages 191-236
  8. Andrea Rodríguez
    Pages 237-269
  9. John Slaney
    Pages 270-293
  10. Back Matter

About this book

Introduction

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

Keywords

complexity computational complexity consistency data integration database logics inconsistency inconsistency handling inconsistency tolerance inconsistent information inference relations logic propositional logic query processing relational databases

Editors and affiliations

  • Leopoldo Bertossi
    • 1
  • Anthony Hunter
    • 2
  • Torsten Schaub
    • 3
  1. 1.School of Computer ScienceCarleton UniversityOttawaCanada
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK
  3. 3.Institut für InformatikUniversität PotsdamPotsdamGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b104925
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24260-4
  • Online ISBN 978-3-540-30597-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site