2293 search results - page 21 / 459 » Temporal Logic in Information Systems |
AIPS
2008
15 years 5 hour ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
74
Voted
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
77
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...