Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.: A logic of agent programs. In: Proc. of the National Conference on Artificial Intelligence (AAAI), pp. 795–800 (2007)
Google Scholar
Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.: Reasoning about agent deliberation. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 16–26 (2008)
Google Scholar
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM (49), 672–713 (2002)
Google Scholar
Baral, C., Son, T.C.: Relating theories of actions and reactive control. Electronic Transactions of AI (ETAI) 2(3-4), 211–271 (1998)
MathSciNet
Google Scholar
Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A., Gómez Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33–44 (2006)
MATH
Google Scholar
Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4(3), 349–355 (1988)
CrossRef
Google Scholar
Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents: Components for intelligent agents in Java. AgentLink Newsletter 2, 2–5 (1999)
Google Scholar
Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)
CrossRef
Google Scholar
Dastani, M., Jamroga, W.: Reasoning about strategies of multi-agent programs. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 997–1004 (2010)
Google Scholar
Dastani, M., van Riemsdijk, B., Meyer, J.-J.: Goal types in agent programming. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1285–1287 (2006)
Google Scholar
de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.: A verification framework for agent programming with declarative goals. Journal of Applied Logic 5(2), 277–302 (2007)
MathSciNet
CrossRef
MATH
Google Scholar
Duff, S., Harland, J., Thangarajah, J.: On proactivity and maintenance goals. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1033–1040 (2006)
Google Scholar
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
CrossRef
Google Scholar
Jamroga, W., Bulling, N.: A framework for reasoning about rational agents. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1–3 (2007)
Google Scholar
Jamroga, W., van der Hoek, W., Wooldridge, M.J.: Intentions and Strategies in Game-Like Scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 512–523. Springer, Heidelberg (2005)
CrossRef
Google Scholar
Padgham, L., Lambrix, P.: Formalisations of capabilities for BDI-agents. Autonomous Agents and Multi-Agent Systems 10(3), 249–271 (2005)
CrossRef
Google Scholar
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 473–484 (1991)
Google Scholar
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 438–449 (1992)
Google Scholar
Schoppers, M.: Universal plans for reactive robots in unpredictable environments. In: Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI), pp. 1039–1046 (1987)
Google Scholar
Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Conference on Theoretical Aspects of Rationality and Knowledge, pp. 269–278. ACM Press (2007), doi:10.1145/1324249.1324285
Google Scholar
Yadav, N., Sardina, S.: Reasoning about agent programs using ATL-like logics (2012) Available from CoRR,
http://arxiv.org/abs/1207.3874