Titlebook: Inconsistency Tolerance; Leopoldo Bertossi,Anthony Hunter,Torsten Schaub Book 2005 Springer-Verlag Berlin Heidelberg 2005 complexity.compu

首創(chuàng)精神

limber

Consistency of XML Specifications, keys). We show that combining the two may lead to seemingly reasonable specifications that are nevertheless inconsistent: there is no XML document that both conforms to the DTD and satisfies the constraints. We then survey results on the complexity of consistency checking, and show that, depending

WATER

可憎

有法律效應(yīng)

mitten

On the Complexity of Paraconsistent Inference Relations,d by the number of techniques designed so far for dealing with inconsistency (especially the few ones reported in this handbook). Many of these techniques have been investigated in depth from a logical point of view, but far less to what concerns the computational complexity aspects. The purpose of

Mundane

Approaches to Measuring Inconsistent Information,. This work, based on probability theory, can be used in a logical setting when the worlds are the possible events. This work is also the basis of Lozinskii’s work [48] for defining the quantity of information of a formula (or knowledgebase) in propositional logic. But this definition is not suitabl

Congeal

Inconsistency Issues in Spatial Databases,nts, and treatment of inconsistency in multiple representations and data integration. The chapter focuses on inconsistency associated with the geometric representation of objects, spatial relations between objects, and composite objects by aggregation. The main contribution of this paper is a survey

Morsel

Supplement