Reasoning about knowledge
Cambrian intelligence: the early history of the new AI
Cambrian intelligence: the early history of the new AI
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Alternating-time temporal logic
Journal of the ACM (JACM)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Complexity of Verifying Game Equilibria
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Hi-index | 0.00 |
I argue that the notions of knowledge, rationality and action form a natural and interesting triple when studying agent systems: first of all, the combination and interplay between them is still not fully explored, and secondly, they give rise to rich theories especially in multi-agent systems. The paper provides an informal overview of formal approaches to the three notions.