1071 search results - page 5 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
IJCAI
2007
13 years 9 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
CADE
2001
Springer
14 years 8 months ago
2001
Springer
RWEB
2009
Springer
14 years 2 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...