Skip to main content
  • Book
  • © 2017

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Special Issue on Consistency and Inconsistency in Data-Centric Applications

  • Focuses on consistency and inconsistency in data-centric applications
  • Addresses logical inconsistencies and their avoidance or management
  • Includes an invited paper on basic postulates for inconsistency measures
  • Includes supplementary material: sn.pub/extras

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

Part of the book sub series: Transactions on Large-Scale Data- and Knowledge-Centered Systems (TLDKS)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (7 chapters)

  1. Front Matter

    Pages I-IX
  2. Basic Postulates for Inconsistency Measures

    • Philippe Besnard
    Pages 1-12
  3. Enhancing User Rating Database Consistency Through Pruning

    • Dionisis Margaris, Costas Vassilakis
    Pages 33-64
  4. Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

    • Jørgen Villadsen, Anders Schlichtkrull
    Pages 92-122
  5. A Proximity-Based Understanding of Conditionals

    • Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pinheiro Dias Pereira
    Pages 123-152
  6. Back Matter

    Pages 185-185

About this book

This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers are revised, extended versions of papers presented at the First International Workshop on Consistency and Inconsistency, COIN 2016, held in conjunction with DEXA 2016 in Porto, Portugal, in September 2016. The other three papers were selected from submissions to a call for contributions to this edition. Each of the papers highlights a particular subtopic. However, all are concerned with logical inconsistencies that are either to be systematically avoided, or reasoned with consistently, i.e., without running the danger of an explosion of inferences.

Editors and Affiliations

  • IRIT, Paul Sabatier University, Toulouse, France

    Abdelkader Hameurlain

  • FAW, University of Linz, Linz, Austria

    Josef Küng, Roland Wagner

  • Polytechnic University of Valencia, Valencia, Spain

    Hendrik Decker

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access