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)
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
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Model checking strategic abilities of agents under incomplete information
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
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
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A Logic for Reasoning about Rational Agents
Computational Logic in Multi-Agent Systems
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
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
| Hi-index | 0.00 |
We propose a non-standard semantics for Alternating-time Temporal Logic (ATL) with incomplete information, for which no commonly accepted semantics has been proposed yet. In our semantics, formulae are still interpreted with respect to ATL structures, but are interpreted in sets of states rather than in single states. We also propose a new epistemic operator for "constructive" knowledge, and we show that the new language is strictly more expressive than existing solutions, while retaining the same model checking complexity.