Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Autor Corporativo: | |
---|---|
Otros Autores: | , , , |
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: |
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.