Sciweavers

Share
12 search results - page 1 / 3
» Relentful Strategic Reasoning in Alternating-Time Temporal L...
Sort
View
LPAR
2010
Springer
9 years 4 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
DEON
2006
Springer
9 years 10 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
LPAR
2010
Springer
9 years 4 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
LICS
2010
IEEE
9 years 5 months ago
Alternating Timed Automata over Bounded Time
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
Mark Jenkins, Joël Ouaknine, Alexander Rabino...
ATAL
2005
Springer
10 years 14 days ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
books