2162 search results - page 158 / 433 » Automated Reasoning on Feature Models |
127
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
132
click to vote
GIS
2000
ACM
15 years 7 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
134
click to vote
DLOG
2004
15 years 5 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
122
click to vote
DLOG
1996
15 years 5 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
141
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...