Skip to main content
SpringerLink
Log in

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

Special Issue on Consistency and Inconsistency in Data-Centric Applications

  • Book
  • © 2017

Overview

Editors:
  1. Abdelkader Hameurlain

    1. IRIT, Paul Sabatier University, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Josef Küng

    1. FAW, University of Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Roland Wagner

    1. FAW, University of Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Hendrik Decker

    1. Polytechnic University of Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Basic Postulates for Inconsistency Measures

    • Philippe Besnard
    Pages 1-12

  3. Batch Composite Transactions in Stream Processing

    • K. Vidyasankar
    Pages 13-32

  4. Enhancing User Rating Database Consistency Through Pruning

    • Dionisis Margaris, Costas Vassilakis
    Pages 33-64

  5. A Second Generation of Peer-to-Peer Semantic Wikis

    • Charbel Rahhal
    Pages 65-91

  6. Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

    • Jørgen Villadsen, Anders Schlichtkrull
    Pages 92-122

  7. A Proximity-Based Understanding of Conditionals

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

  8. Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking

    • Hendrik Decker
    Pages 153-183

  9. Back Matter

    Pages 185-185
    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation