1614 search results - page 54 / 323 » Planning as Temporal Reasoning |
ICCBR
1999
Springer
15 years 6 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
102
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
90
Voted
AIIA
2005
Springer
15 years 3 months ago
2005
Springer
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between rep...
CADE
2004
Springer
16 years 2 months ago
2004
Springer
136
click to vote
IFIP12
2010
14 years 12 months ago
2010
This paper presents a decision support system for treatment planning in brain cancer radiotherapy. The aim of a radiotherapy treatment plan is to apply radiation in a way that dest...