263 search results - page 18 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
139
click to vote
TIME
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
169
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
144
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
129
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
136
click to vote
CLIMA
2007
15 years 6 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...