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

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

1 2 next

  1. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  2. Gomes, Ana Sofia; Alferes, José Júlio: External transaction logic with automatic compensations (2013)
  3. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  4. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about agent deliberation (2011) ioport
  5. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  6. Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico: BAAC: a Prolog system for action description and agents coordination (2011)
  7. Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011) ioport
  8. Pasquier, Philippe; Hollands, Ramon; Rahwan, Iyad; Dignum, Frank; Sonenberg, Liz: An empirical study of interest-based negotiation (2011) ioport
  9. Sardiña, Sebastian; Padgham, Lin: A BDI agent programming language with failure handling, declarative goals, and planning (2011) ioport
  10. Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J. Ch.: Using theorem proving to verify properties of agent programs (2010)
  11. Dastani, Mehdi; Meyer, John-Jules Ch.: Agents with emotions (2010)
  12. Turrini, Paolo; Meyer, John-Jules Ch.; Castelfranchi, Cristiano: Coping with shame and sense of guilt: a dynamic logic account (2010) ioport
  13. Broersen, Jan; Brunel, Julien: `What I fail to do today, I have to do tomorrow’: A logical study of the propagation of obligations (2009)
  14. Dennis, Louise; Fisher, Michael; Hepple, Anthony: Language constructs for multi-agent programming (2009)
  15. Drescher, Conrad; Schiffel, Stephan; Thielscher, Michael: A declarative agent programming language based on action theories (2009)
  16. Hindriks, Koen V.; Meyer, John-Jules Ch.: Toward a programming theory for rational agents (2009) ioport
  17. Subagdja, Budhitama; Sonenberg, Liz; Rahwan, Iyad: Intentional learning agent architecture (2009) ioport
  18. Van Riemsdijk, M. Birna; Dastani, Mehdi; Meyer, John-Jules Ch.: Goals in conflict: semantic foundations of goals in agent programming (2009) ioport
  19. 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
  20. 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)

1 2 next

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