528 search results - page 8 / 106 » Transition Logic Revisited |
149
Voted
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
145
Voted
DLOG
2006
15 years 5 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
129
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
103
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
102
Voted
CAV
1997
Springer
15 years 7 months ago
1997
Springer