KI
1999
Springer
14 years 3 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
KI
1999
Springer
14 years 3 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...
KI
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
KI
1999
Springer
14 years 3 months ago
1999
Springer
KI
1999
Springer
14 years 3 months ago
1999
Springer
KI
1999
Springer
14 years 3 months ago
1999
Springer
KI
1999
Springer
14 years 3 months ago
1999
Springer
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
KI
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...