“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
14th International Colloquium on Automata, languages and programming
Handbook of theoretical computer science (vol. B)
Knowledge and the frame problem
International Journal of Expert Systems - Special issue on the frame problem. Part B
About the expressive power of CTL combinators
Information Processing Letters
Reasoning about knowledge
A hierarchy of temporal logics with past
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Alternating-time temporal logic
Journal of the ACM (JACM)
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Knowledge, Rationality and Action
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
Autonomous Agents and Multi-Agent Systems
Model checking knowledge, strategies, and games in multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Model checking for multivalued logic of knowledge and time
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Knowing how to play: uniform choices in logics of agency
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
What agents can achieve under incomplete information
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Towards a logical theory of coordination and joint ability
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Knowledge and Strategic Ability for Model Checking: A Refined Approach
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
A Logic of Strategic Ability Under Bounded Memory
Journal of Logic, Language and Information
A Logic for Reasoning about Rational Agents
Computational Logic in Multi-Agent Systems
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Declarative Agent Languages and Technologies VI
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
Social Responsibility among deliberative agents
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A logical theory of coordination and joint ability
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Protocol analysis through alternating-time temporal logic and timed petri net models
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
On the relationship between playing rationally and knowing how to play: a logical account
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Strategic planning for probabilistic games with incomplete information
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
Group announcements: logic and games
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Model checking strategic abilities of agents under incomplete information
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Alternating epistemic Mu-calculus
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Comparing variants of strategic ability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Fairness in non-repudiation protocols
STM'11 Proceedings of the 7th international conference on Security and Trust Management
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Strategic voting and the logic of knowledge
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
What makes ATL* decidable? a decidable fragment of strategy logic
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Reasoning about dialogical strategies
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
A logic of probabilistic knowledge and strategy
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Bounded planning for strategic goals with incomplete information and perfect recall
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Autonomous Agents and Multi-Agent Systems
On the Boundary of Behavioral Strategies
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
We look at ways to enrich Alternating-time Temporal Logic (ATL) - a logic for specification and verification of multi-agent systems - with a notion of knowledge. Starting point of our study is a recent proposal for a system called Alternating-time Temporal Epistemic Logic (ATEL). We show that, assuming that agents act under uncertainty in some states of the system, the notion of allowable strategy should be defined with some caution. Moreover, we demonstrate a subtle difference between an agent knowing that he has a suitable strategy and knowing the strategy itself. We also point out that the agents should be assumed similar epistemic capabilities in the semantics of both strategic and epistemic operators. Trying to implement these ideas, we propose two different modifications of ATEL. The first one, dubbed Alternating-time Temporal Observational Logic (ATOL), is a logic for agents with bounded recall of the past. With the second, ATEL-R*, we present a framework to reason about both perfect and imperfect recall, in which we also incorporate operators for reasoning about the past. We identify some feasible subsystems of this expressive system.