3358 search results - page 1 / 672 » Dynamic Description Logics |
108
Voted
DLOG
2007
15 years 3 months ago
2007
116
click to vote
DLOG
1998
15 years 2 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
113
click to vote
IJCAI
2003
15 years 2 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...
65
Voted
AAAI
1994
15 years 2 months ago
1994
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...