Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,342,356 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
A Novel Semantics for Alternating-time Temporal Logic under Imperfect Information M 2 Project
F. Belardinelli
2016
Corpus ID: 12689880
This project proposal hinges on a novel semantics for Alternating-time Temporal Logic (ATL), a logic for reasoning about…
Expand
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
2010
2010
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
M. Cristani
,
Erisa Karafili
,
Luca 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
,
Luca 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
Xian-Wei Lai
,
Shan-Li Hu
,
Zheng-Yuan Ning
,
Xiu-Li Wang
2009
Corpus ID: 62224206
2008
2008
Alternating-time temporal logic with strong and weak exceptions
Shan-Li Hu
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
2005
2005
Version From Coalition Logic to STIT 1 Jan Broersen
A. Herzig
,
N. Troquard
2005
Corpus ID: 16716227
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of…
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