Skip to search formSkip to main contentSkip to account menu

Alternating-time Temporal Logic

Known as: ATL 
In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time… 
2012
2012
We present a semantics for the Alternating-time Temporal Logic (ATL) with imperfect information, in which the participants in a… 
2011
2011
We propose a formalism that we call Alternating-time Temporal Announcement Logic (ATAL). It can be seen as an extension of the… 
2011
2011
The aim of this paper is to provide a formal framework for Requirements Engineering modelling languages featuring agents… 
2010
2010
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced… 
2008
2008
Most application systems of artificial intelligence may face the problem of non-monotonic reasoning,so do multi-agent systems… 
2008
2008
By introducing cooperation operators into computing tree logic(CTL*),alternating-time temporal logic(ATL*) which is an important… 
2007
2007
  • Dirk Fahland
  • 2007
  • Corpus ID: 1646049
Enacting tasks in a work∞ow cannot always follow a pre- deflned process model. In application domains like disaster management… 
2004
2004
Qualitative action theory deals with purely qualitative de- scriptions and formal representations of agency, i.e., agents and…