Sciweavers

4949 search results - page 172 / 990
» Consistency and Set Intersection
Sort
View
146
Voted
MSS
2008
IEEE
96views Hardware» more  MSS 2008»
15 years 4 months ago
Farsighted coalitional stability in TU-games
Abstract. We study farsighted coalitional stability in the context of TUgames. Chwe (1994, p.318) notes that, in this context, it is difficult to prove nonemptiness of the largest ...
Sylvain Béal, Jacques Durieu, Philippe Sola...
ICDT
2005
ACM
128views Database» more  ICDT 2005»
15 years 10 months ago
First-Order Query Rewriting for Inconsistent Databases
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
Ariel Fuxman, Renée J. Miller
ESWS
2006
Springer
15 years 8 months ago
Resolving Inconsistencies in Evolving Ontologies
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
Peter Plessers, Olga De Troyer
LICS
2007
IEEE
15 years 11 months ago
A computable approach to measure and integration theory
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
Abbas Edalat
140
Voted
AI
2006
Springer
15 years 8 months ago
Classification Based on Logical Concept Analysis
This paper studies the problem of classification by using a concept lattice as a search space of classification rules. The left hand side of a classification rule is composed by a ...
Yan Zhao, Yiyu Yao