3028 search results - page 3 / 606 » Integrating Temporal Logics |
TIME
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
AAAI
2012
12 years 5 days ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
SEKE
2001
Springer
14 years 2 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
ICTL
1994
14 years 1 months ago
1994
This paper presents a temporal belief logic called
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...