955 search results - page 87 / 191 » Tractable Temporal Reasoning |
130
Voted
AI
1998
Springer
15 years 2 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
162
Voted
LOGCOM
1998
15 years 2 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
115
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
137
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
111
Voted
CLIMA
2007
15 years 4 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...