1966 search results - page 14 / 394 » Description Logics and Planning |
136
click to vote
DLOG
2008
15 years 4 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...
104
Voted
DLOG
2006
15 years 3 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
124
click to vote
NMR
2004
Springer
15 years 7 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...
85
Voted
TABLEAUX
1999
Springer
15 years 6 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.