Sciweavers

39 search results - page 4 / 8
» ecsqaru 2007
Sort
View
ECSQARU
2007
Springer
14 years 5 months ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
ECSQARU
2007
Springer
14 years 5 months ago
Conceptual Uncertainty and Reasoning Tools
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
Bertil Rolf
ECSQARU
2007
Springer
14 years 5 months ago
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
Norbert Lehmann
ECSQARU
2007
Springer
14 years 5 months ago
Algebraic Structures for Bipolar Constraint-Based Reasoning
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
Hélène Fargier, Nic Wilson
ECSQARU
2007
Springer
14 years 5 months ago
Comparing Argumentation Semantics with Respect to Skepticism
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
Pietro Baroni, Massimiliano Giacomin