Jamroga, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Reasoning about Strategies of Multi-Agent Programs
N. Alechina, M. Dastani, B. Logan, and J.-J. C. Meyer. A logic of agent programs. In Proceedings of AAAI, pages 795-800, 2007.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
L. Astefanoaei, M. Dastani, F. de Boer, and J.-J. C. Meyer. A verification framework for normative multi-agent systems. In Proceedings of PRIMA 2008, Volume 5357 of LNCS. Springer, 2008.
N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175-199, 1988.
M. Benerecetti, F. Giunchiglia, and L. Serafini. Model checking multiagent systems. Journal and Logic and Computation, 8(3):401-423, 1998.
R. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006.
R. H. Bordini, M. Wooldridge, and J. F. Hübner. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons, 2007.
E. Clarke, O. Grumberg, M. Minea, and D. Peled. State space reduction using partial order techniques. International Journal on Software Tools for Technology Transfer, 2(3):279-287, 1998.
P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
M. Dastani. 2APL: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 16(3):214-248, 2008.
M. Dastani and W. Jamroga. Reasoning about strategies of multi-agent programs. Technical Report Ifl-10-04, Clausthal University of Technology, 2010.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 995-1072. Elsevier Science Publishers, 1990.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y Vardi. Reasoning about Knowledge. MIT Press, 1995.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.
K. Hindriks. Modules as policy-based intentions: Modular agent programming in GOAL. In Procedings of ProMAS'07, Volume 4908 of LNCS. Springer, 2008.
K. V. Hindriks and J.-J. C. Meyer. Toward a programming theory for rational agents. Autonomous Agents and Multi-Agent Systems, 19(1):4-29, 2009.
W. Jamroga and T. Àgotnes. Constructive knowledge: What agents can achieve under incomplete information. Journal of Applied Non-Classical Logics, 17(4):423-475, 2007.
W. Jamroga and J. Dix. Model checking ATLir is indeed Δ2P-complete. In Proceedings of EUMAS'06, 2006.
F. Laroussinie, N. Markey, and G. Oreiby. On the expressiveness and complexity of ATL. LMCS, 4:7, 2008.
M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1): 149-166, 2002.
P. Schnoebelen. The complexity of temporal model checking. In Advances in Modal Logics, Proceedings of AiML 2002. World Scientific, 2003.
P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.