Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/transactions-on-large-scale-data-and-knowledge-centered-systems-xxxiv/descriptif_3806022
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=3806022

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV, 1st ed. 2017 Special Issue on Consistency and Inconsistency in Data-Centric Applications Transactions on Large-Scale Data- and Knowledge-Centered Systems Series

Langue : Anglais

Coordonnateurs : Hameurlain Abdelkader, Küng Josef, Wagner Roland, Decker Hendrik

Couverture de l’ouvrage Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
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.

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.

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

Date de parution :

Ouvrage de 185 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 52,74 €

Ajouter au panier