1966 search results - page 13 / 394 » Description Logics and Planning |
CADE
1999
Springer
15 years 6 months ago
1999
Springer
107
Voted
DLOG
2001
15 years 3 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
120
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
KR
1994
Springer
15 years 6 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
142
Voted
AI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...