3APL

3APL (triple-a-p-l). An Abstract Agent Programming Language. 3APL is a programming language for implementing cognitive agents. It provides programming constructs for implementing agents’ beliefs, goals, basic capabilities (such as belief updates, external actions, or communication actions) and a set of practical reasoning rules through which agents’ goals can be updated or revised. The 3APL programs are executed on the 3APL platform. Each 3APL program is executed by means of an interpreter that deliberates on the cognitive attitudes of that agent. The EBNF specification of 3APL and the deliberation cycle are available through the following links:


References in zbMATH (referenced in 29 articles , 1 standard article )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  2. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about agent deliberation (2011) ioport
  3. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  4. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  5. Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico: BAAC: a Prolog system for action description and agents coordination (2011)
  6. Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011) ioport
  7. Pasquier, Philippe; Hollands, Ramon; Rahwan, Iyad; Dignum, Frank; Sonenberg, Liz: An empirical study of interest-based negotiation (2011) ioport
  8. Sardiña, Sebastian; Padgham, Lin: A BDI agent programming language with failure handling, declarative goals, and planning (2011) ioport
  9. Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J.Ch.: Using theorem proving to verify properties of agent programs (2010)
  10. Turrini, Paolo; Meyer, John-Jules Ch.; Castelfranchi, Cristiano: Coping with shame and sense of guilt: a dynamic logic account (2010) ioport
  11. Dennis, Louise; Fisher, Michael; Hepple, Anthony: Language constructs for multi-agent programming (2009)
  12. Hindriks, Koen V.; Meyer, John-Jules Ch.: Toward a programming theory for rational agents (2009) ioport
  13. Subagdja, Budhitama; Sonenberg, Liz; Rahwan, Iyad: Intentional learning agent architecture (2009) ioport
  14. Van Riemsdijk, M.Birna; Dastani, Mehdi; Meyer, John-Jules Ch.: Goals in conflict: semantic foundations of goals in agent programming (2009) ioport
  15. O’Grady, M.J.; O’Hare, G.M.P.; Chen, J.; Phelan, D.: Distributed network intelligence: A prerequisite for adaptive and personalised service delivery (2008) ioport
  16. de Boer, F.S.; Hindriks, K.V.; van der Hoek, W.; Meyer, J.-J.Ch.: A verification framework for agent programming with declarative goals (2007)
  17. Inoue, Katsumi (ed.); Satoh, Ken (ed.); Toni, Francesca (ed.): Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8--9, 2006. Revised selected and invited papers (2007)
  18. van Riemsdijk, M.Birna; de Boer, Frank S.; Dastani, Mehdi; Meyer, John-Jules Ch.: Prototyping 3APL in the Maude term rewriting language (2007)
  19. van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.: Dynamic logic for plan revision in agent programming (2006)
  20. van Riemsdijk, M.Birna; Meyer, John-Jules Ch.: A compositional semantics of plan revision in intelligent agents (2006)

1 2 next


Further publications can be found at: http://www.cs.uu.nl/3apl/publications.html