1. Pereira, D., Oliveira, E., Moreira, N., Sarmento, L.: Towards an architecture for emotional BDI agents. In: Carlos Bento, A.C., Dias, G. (eds.) EPIA 2005 12th Portuguese Conference on Artificial Intelligence, Universidade da Beira Interior, December 2005, pp. 40–46. IEEE, Los Alamitos (2005); ISBN 0-7803-9365-1

   Chapter  Google Scholar 

2. Pereira, D., Oliveira, E., Moreira, N.: Modelling emotional BDI agents. In: Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del Garda, Italy (August 2006)

   Google Scholar 

3. Oliveira, E., Sarmento, L.: Emotional valence-based mechanisms and agent personality. In: Bittencourt, G., Ramalho, G. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 152–162. Springer, Heidelberg (2002)

   Chapter  Google Scholar 

4. Oliveira, E., Sarmento, L.: Emotional advantage for adaptability and autonomy. In: AAMAS, pp. 305–312 (2003)

   Google Scholar 

5. Sarmento, L., Moura, D., Oliveira, E.: Fighting fire with fear. In: Proceedings of 2nd European Workshop on Multi-Agent Systems (EUMAS 2004) (December 2004)

   Google Scholar 

6. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. J. Log. Comput.  8(3), 293–342 (1998)

   Article MathSciNet MATH  Google Scholar 

7. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann publishers Inc., San Francisco (1991)

   Google Scholar 

8. van der Hoek, W., van Linder, B., Meyer, J.J.C.: A logic of capabilities. In: Nerode, A., Matiyasevich, Y. (eds.) LFCS. LNCS, vol. 813, pp. 366–378. Springer, Heidelberg (1994)

   Google Scholar 

9. Schmidt, R.A., Tishkovsky, D., Hustadt, U.: Interactions between knowledge, action and commitment within agent dynamic logic. Studia Logica 78(3), 381–415 (2004)

   Article MathSciNet MATH  Google Scholar 

10. van Linder, B., van der Hoek, W., Meyer, J.J.C.: Formalising abilities and opportunities of agents. Fundamenta Informaticae 34(1-2), 53–101 (1998)

    MathSciNet MATH  Google Scholar 

11. van der Hoek, W., van Linder, B., Meyer, J.J.C.: On agents that have the ability to choose. Studia Logica 66(1), 79–119 (2000)

    Article MathSciNet MATH  Google Scholar 

12. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol. B, pp. 995–1072 (1990)

    Google Scholar 

13. Bratman, M.E., Israel, D., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4, 349–355 (1988)

    Article  Google Scholar 

14. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

15. Schild, K.: On the relationship between bdi logics and standard logics of concurrency. Autonomous Agents and Multi-Agent Systems 3(3), 259–283 (2000)

    Article  Google Scholar 

16. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319–379 (1992)

    Article MathSciNet MATH  Google Scholar 

17. Whitsey, M.: Logical omniscience: A survey (2003)

    Google Scholar 

18. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. In: Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer, Heidelberg (2004)

    Google Scholar 

19. de Wind, P.: Modal logic in coq. Master’s thesis, Vrije Universiteit in Amsterdam (2001)

    Google Scholar 

20. Meyer, J.J.C.: Reasoning about emotional agents. In: de Mántaras, R.L., Saitta, L. (eds.) ECAI, pp. 129–133. IOS Press, Amsterdam (2004)

    Google Scholar 

21. Dastani, M., Meyer, J.J.C.: Programming agents with emotions. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, pp. 215–219. IOS Press, Amsterdam (2006)

    Google Scholar 

22. Casali, A., Godo, L., Sierra, C.: Graded bdi models for agent architectures. In Leite, J.A., Torroni, P., eds: CLIMA V. In: Leite, J.A., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 126–143. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references