1614 search results - page 97 / 323 » Planning as Temporal Reasoning |
179
click to vote
PPSWR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
154
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
170
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we present an adaptation-guided similarity metric based on the estimate of the number of actions between states, called ADG (Action Distance-Guided). It is determine...
197
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some...
180
click to vote
JVA
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...