1966 search results - page 11 / 394 » Description Logics and Planning |
129
click to vote
DLOG
1998
15 years 3 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 ...
AAAI
1998
15 years 3 months ago
1998
119
Voted
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
134
click to vote
AI
2007
Springer
15 years 2 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
107
Voted
DLOG
2007
15 years 4 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...