Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

120

LPAR
2010
Springer

138views Automated Reasoning» more LPAR 2010»

Graded Alternating-Time Temporal Logic

15 years 28 days ago

Graded Alternating-Time Temporal Logic

Download www.ing.unife.it

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

Real-time Traffic

Automated Reasoning | Graded | LPAR 2010 | Semantics | Specification Languages |

claim paper

Related Content

» Timed AlternatingTime Temporal Logic

» Relentful Strategic Reasoning in AlternatingTime Temporal Logic

» Weak Alternating Timed Automata

» Alternating Timed Automata over Bounded Time

» Graded Computation Tree Logic with Binary Coding

» A Priorean Approach to Time Ontologies

» A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

» Strategic Deontic Temporal Logic as a Reduction to ATL with an Application to Chisholms Sc...

» ModelChecking Strategic Ability and Knowledge of the Past of Communicating Coalitions

Post Info
More Details (n/a)

Added	14 Feb 2011
Updated	14 Feb 2011
Type	Journal
Year	2010
Where	LPAR
Authors	Marco Faella, Margherita Napoli, Mimmo Parente

Comments (0)