3028 search results - page 5 / 606 » Integrating Temporal Logics |
134
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
153
Voted
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
123
Voted
APAL
2010
15 years 3 months ago
2010
It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense ...
112
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
119
Voted
IJCAI
2007
15 years 5 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...