Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hameurlain, Abdelkader. (Editor), Küng, Josef. (Editor), Wagner, Roland. (Editor), Decker, Hendrik. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Transactions on Large-Scale Data- and Knowledge-Centered Systems, 10620
Subjects:
Computer logic.
Mathematical logic.
Logic design.
Operating systems (Computers).
Microprocessors.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic Design.
Operating Systems.
Processor Architectures.
Table of Contents:
  • Basic Postulates for Inconsistency Measures
  • Batch Composite Transactions in Stream Processing
  • Enhancing User Rating Database Consistency through Pruning
  • A Second Generation of Peer-to-Peer Semantic Wikis
  • Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant
  • A Proximity-Based Understanding of Conditionals
  • Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.

Similar Items