169 search results - page 2 / 34 » Temporal Reasoning in Nested Temporal Networks with Alternat... |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
AI
2008
Springer
13 years 5 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: