Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,584 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.
2016
2016
Towards partial order reductions for fragments of alternating-time temporal logic
P. Dembinski
,
Wojciech Jamroga
,
A. Mazurkiewicz
,
W. Penczek
2016
Corpus ID: 208095446
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
2013
2013
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics
F. Mogavero
Atlantis Studies in Computing
2013
Corpus ID: 21016889
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for 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
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
M. Cristani
,
Erisa Karafili
,
L. Viganò
arXiv.org
2010
Corpus ID: 10632696
Similar to what happens between humans in the real world, in open multi-agent systems distributed over the Internet, such as…
Expand
2010
2010
2 An approach to the problem of blocking underhand attacks
M. Cristani
,
Erisa Karafili
,
L. Viganò
2010
Corpus ID: 13547162
Similar to what happens between humans in the real world, in open multi-agent systems distributed over the Internet, such as…
Expand
2009
2009
Alternating-time temporal logic with strong and weak exceptions: Alternating-time temporal logic with strong and weak exceptions
Xianwei Lai
,
Shanli Hu
,
Zhengyuan Ning
,
Xiuli Wang
2009
Corpus ID: 62224206
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
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
2000
2000
Enforcing Behavior with Contracts
Joakim von Wright
2000
Corpus ID: 11587073
Contracts have been introduced earlier as a way of modeling a collection of agents that work within the limits set by the…
Expand