1966 search results - page 14 / 394 » Description Logics and Planning |
186
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
154
click to vote
DLOG
2006
15 years 7 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
177
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
125
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.