159 search results - page 5 / 32 » Dynamic Description Logic: Embracing Actions into Descriptio... |
162
click to vote
AIM
2005
15 years 5 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...
151
click to vote
ICTAI
2008
IEEE
16 years 11 days 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 ...
191
click to vote
GEOS
2007
Springer
16 years 4 days 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...