Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications - Hameurlain, Abdelkader; Küng, Josef; Wagner, Roland; Decker, Hendrik; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017)
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.
Keywords: 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