2APL

2APL: a practical agent programming language. This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent systems consisting of individual agents that may share and access external environments. It realizes an effective integration of declarative and imperative style programming by introducing and integrating declarative beliefs and goals with events and plans. It also provides practical programming constructs to allow the generation, repair, and (different modes of) execution of plans based on beliefs, goals, and events. The formal syntax and semantics of the programming language are given and its relation with existing BDI-based agent-oriented programming languages is discussed.

This software is also peer reviewed by journal TOMS.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 23 articles )

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

1 2 next

  1. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  2. Morveli-Espinoza, M.; Nieves, J. C.; Possebom, A.; Puyol-Gruart, J.; Tacla, C. A.: An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals (2019)
  3. De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
  4. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  5. Alechina, Natasha: Logic and agent programming languages (2013)
  6. Dastani, Mehdi; van Zee, Marc: Belief caching in 2APL (2013) ioport
  7. Koster, Andrew; Schorlemmer, Marco; Sabater-Mir, Jordi: Opening the black box of trust: reasoning about trust models in a BDI agent (2013) ioport
  8. Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
  9. Yadav, Nitin; Sardina, Sebastian: Reasoning about agent programs using ATL-like logics (2012)
  10. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  11. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about agent deliberation (2011) ioport
  12. Behrens, Tristan M.; Hindriks, Koen V.; Dix, Jürgen: Towards an environment interface standard for agent platforms (2011)
  13. Ricci, Alessandro; Piunti, Michele; Viroli, Mirko: Environment programming in multi-agent systems: an artifact-based perspective (2011) ioport
  14. Sardiña, Sebastian; Padgham, Lin: A BDI agent programming language with failure handling, declarative goals, and planning (2011) ioport
  15. Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping: Comparing three coordination models: Reo, ARC, and PBRD (2011)
  16. Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J. Ch.: Using theorem proving to verify properties of agent programs (2010)
  17. Behrens, Tristan; Dastani, Mehdi; Dix, Jürgen; Köster, Michael; Novák, Peter: The multi-agent programming contest from 2005--2010 (2010) ioport
  18. Dimakis, Nikolaos; Soldatos, John; Polymenakos, Lazaros; Bürkle, Axel; Pfirrmann, Uwe; Sutschet, Gerhard: Agent-based architectural framework enhancing configurability, autonomy and scalability of context-aware pervasive services (2010) ioport
  19. Hübner, Jomi Fred; Boissier, Olivier; Kitio, Rosine; Ricci, Alessandro: Instrumenting multi-agent organisations with organisational artifacts and agents (2010) ioport
  20. Sindlar, Michal P.; Dastani, Mehdi M.; Dignum, Frank; Meyer, John-Jules Ch.: Mental state abduction of BDI-based agents (2009)

1 2 next