1860 search results - page 12 / 372 » A Temporal Logic of Robustness |
82
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
99
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
88
Voted
DAWAK
2007
Springer
15 years 1 months ago
2007
Springer
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
100
Voted
FUZZY
2001
Springer
15 years 2 months ago
2001
Springer
102
click to vote
AIPS
2009
14 years 10 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...