1462 search results - page 15 / 293 » Autoepistemic Description Logics |
110
Voted
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
JAIR
2002
15 years 1 months ago
2002
91
Voted
CADE
1999
Springer
15 years 6 months ago
1999
Springer
105
click to vote
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 ...
108
click to vote
IJCAI
1993
15 years 3 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...