159 search results - page 5 / 32 » Dynamic Description Logic: Embracing Actions into Descriptio... |
102
click to vote
AIM
2005
14 years 11 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
ICTAI
2008
IEEE
15 years 6 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
DLOG
2006
15 years 28 days ago
2006
AIML
1998
15 years 27 days ago
1998
116
click to vote
GEOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...