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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hameurlain, Abdelkader. (Editor ), Küng, Josef. (Editor ), Wagner, Roland. (Editor ), Decker, Hendrik. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Transactions on Large-Scale Data- and Knowledge-Centered Systems, 10620
Materias:	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.

Tabla de Contenidos:

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.

Ejemplares similares