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 32 articles , 1 standard article )

Showing results 1 to 20 of 32.
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. Dastani, Mehdi; Meyer, John-Jules Ch.: Agents with emotions (2010)
  11. Turrini, Paolo; Meyer, John-Jules Ch.; Castelfranchi, Cristiano: Coping with shame and sense of guilt: a dynamic logic account (2010) ioport
  12. Broersen, Jan; Brunel, Julien: `What I fail to do today, I have to do tomorrow’: A logical study of the propagation of obligations (2009)
  13. Dennis, Louise; Fisher, Michael; Hepple, Anthony: Language constructs for multi-agent programming (2009)
  14. Drescher, Conrad; Schiffel, Stephan; Thielscher, Michael: A declarative agent programming language based on action theories (2009)
  15. Hindriks, Koen V.; Meyer, John-Jules Ch.: Toward a programming theory for rational agents (2009) ioport
  16. Subagdja, Budhitama; Sonenberg, Liz; Rahwan, Iyad: Intentional learning agent architecture (2009) ioport
  17. Van Riemsdijk, M.Birna; Dastani, Mehdi; Meyer, John-Jules Ch.: Goals in conflict: semantic foundations of goals in agent programming (2009) ioport
  18. 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
  19. 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)
  20. 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)

1 2 next


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