Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,767,446 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computation tree logic
Computer science
Linear temporal logic
Multi-agent system
Expand
Broader (2)
Logic in computer science
Modal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
Steen Vester
arXiv.org
2014
Corpus ID: 13893539
We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time…
Expand
2012
2012
MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE
R. Diaconu
,
C. Dima
Applied Artificial Intelligence
2012
Corpus ID: 9148804
We present a semantics for the Alternating-time Temporal Logic (ATL) with imperfect information, in which the participants in a…
Expand
2011
2011
Alternating-Time Temporal Announcement Logic
T. Lima
Computational Logic in Multi-Agent Systems
2011
Corpus ID: 31299682
We propose a formalism that we call Alternating-time Temporal Announcement Logic (ATAL). It can be seen as an extension of the…
Expand
2011
2011
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic
Christophe Chareton
,
Julien Brunel
,
D. Chemouil
Brazilian Symposium on Formal Methods
2011
Corpus ID: 2529562
The aim of this paper is to provide a formal framework for Requirements Engineering modelling languages featuring agents…
Expand
2010
2010
Alternating-time dynamic logic
N. Troquard
,
Dirk Walther
Adaptive Agents and Multi-Agent Systems
2010
Corpus ID: 12394945
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced…
Expand
2008
2008
Alternating-time temporal logic with strong and weak exceptions
Hu Shan-li
2008
Corpus ID: 124208137
Most application systems of artificial intelligence may face the problem of non-monotonic reasoning,so do multi-agent systems…
Expand
2008
2008
Fuzzy Alternating-time Temporal Logic and Its Semantic Structures
Lai Xian-wei
2008
Corpus ID: 123736520
By introducing cooperation operators into computing tree logic(CTL*),alternating-time temporal logic(ATL*) which is an important…
Expand
2007
2007
Towards Analyzing Declarative Workflows
Dirk Fahland
Autonomous and Adaptive Web Services
2007
Corpus ID: 1646049
Enacting tasks in a work∞ow cannot always follow a pre- deflned process model. In application domains like disaster management…
Expand
2004
2004
Knowledge as Strategic Ability
S. Otterloo
,
W. Hoek
,
M. Wooldridge
LCMAS
2004
Corpus ID: 1384085
2004
2004
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency
S. Wölfl
European Conference on Logics in Artificial…
2004
Corpus ID: 3264178
Qualitative action theory deals with purely qualitative de- scriptions and formal representations of agency, i.e., agents and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE