Belief–desire–intention software model (English Wikipedia)

Rao, M. P. Georgeff. (1995). "BDI-agents: From Theory to Practice" (PDF). Proceedings of the First International Conference on Multiagent Systems (ICMAS'95). Archived from the original (PDF) on 2011-06-04. Retrieved 2009-07-09.

acm.org

dl.acm.org

J. Broersen, M. Dastani, J. Hulstijn, Z. Huang, L. van der Torre The BOID architecture: conflicts between beliefs, obligations, intentions and desires Proceedings of the fifth international conference on Autonomous agents, 2001, pages 9-16, ACM New York, NY, USA

portal.acm.org

Sardina, Sebastian; Lavindra de Silva; Lin Padgham (2006). "Hierarchical planning in BDI agent programming languages: a formal approach". Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems.

autonomy-and-verification.github.io

Model Checking Agent Programming Languages

cogniteam.com

CogniTAO (Think-As-One)

dmu.ac.uk

iesd.dmu.ac.uk

AgentSpeak(RT) Archived 2012-03-26 at the Wayback Machine
Vikhorev, K., Alechina, N. and Logan, B. (2011). "Agent programming with priorities and deadlines" Archived March 26, 2012, at the Wayback Machine. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Taipei, Taiwan. May 2011., pp. 397-404.
Vikhorev, K., Alechina, N. and Logan, B. (2009). "The ARTS Real-Time Agent Architecture" Archived March 26, 2012, at the Wayback Machine. In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy. September 2009. CEUR Workshop Proceedings Vol-494.

doi.org

Umbrello, Steven; Yampolskiy, Roman V. (2021-05-15). "Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles". International Journal of Social Robotics. 14 (2): 313–322. doi:10.1007/s12369-021-00790-w. hdl:2318/1788856. ISSN 1875-4805.
Phung, Toan; Michael Winikoff; Lin Padgham (2005). "Learning Within the BDI Framework: An Empirical Analysis". Knowledge-Based Intelligent Information and Engineering Systems. Lecture Notes in Computer Science. Vol. 3683. pp. 282–288. doi:10.1007/11553939_41. ISBN 978-3-540-28896-1.
Guerra-Hernández, Alejandro; Amal El Fallah-Seghrouchni; Henry Soldano (2004). "Learning in BDI Multi-agent Systems". Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science. Vol. 3259. pp. 218–233. doi:10.1007/978-3-540-30200-1_12. ISBN 978-3-540-24010-5.
Georgeff, Michael; Barney Pell; Martha E. Pollack; Milind Tambe; Michael Wooldridge (1999). "The Belief-Desire-Intention Model of Agency". Intelligent Agents V: Agents Theories, Architectures, and Languages. Lecture Notes in Computer Science. Vol. 1555. pp. 1–10. doi:10.1007/3-540-49057-4_1. ISBN 978-3-540-65713-2.
Pokahr, Alexander; Lars Braubach; Winfried Lamersdorf (2005). "Jadex: A BDI Reasoning Engine". Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations. Vol. 15. pp. 149–174. doi:10.1007/0-387-26350-0_6. ISBN 978-0-387-24568-3.
Fichera, Loris; Marletta, Daniele; Nicosia, Vincenzo; Santoro, Corrado (2011). "Flexible Robot Strategy Design Using Belief-Desire-Intention Model". In Obdržálek, David; Gottscheber, Achim (eds.). Research and Education in Robotics - EUROBOT 2010. Communications in Computer and Information Science. Vol. 156. Berlin, Heidelberg: Springer. pp. 57–71. doi:10.1007/978-3-642-27272-1_5. ISBN 978-3-642-27272-1.

ejenta.com

Brahms

handle.net

hdl.handle.net

Umbrello, Steven; Yampolskiy, Roman V. (2021-05-15). "Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles". International Journal of Social Robotics. 14 (2): 313–322. doi:10.1007/s12369-021-00790-w. hdl:2318/1788856. ISSN 1875-4805.

icr2008.org.il

TAO: A JAUS-based High-Level Control System for Single and Multiple Robots Y. Elmaliach, CogniTeam, (2008) "Archived copy". Archived from the original on 2009-01-07. Retrieved 2008-11-03.{{cite web}}: CS1 maint: archived copy as title (link)

laas.fr

homepages.laas.fr

"OpenPRS". Archived from the original on 2014-10-21. Retrieved 2014-10-23.

liv.ac.uk

intranet.csc.liv.ac.uk

Gwendolen Semantics:2017

marcush.net

nott.ac.uk

cs.nott.ac.uk

Agent Real-Time System Archived 2011-09-27 at the Wayback Machine

psu.edu

citeseerx.ist.psu.edu

Rao, M. P. Georgeff. (1995). "Formal models and decision procedures for multi-agent systems". Technical Note, AAII. CiteSeerX 10.1.1.52.7924.

sourceforge.net

jason.sourceforge.net

"Jason | a Java-based interpreter for an extended version of AgentSpeak".

apapl.sourceforge.net

2APL

jacamo.sourceforge.net

"Home". jacamo.sourceforge.net.

sri.com

ai.sri.com

SPARK

uni-hamburg.de

vsis-informatik.uni-hamburg.de

JADEX

web.archive.org

Rao, M. P. Georgeff. (1995). "BDI-agents: From Theory to Practice" (PDF). Proceedings of the First International Conference on Multiagent Systems (ICMAS'95). Archived from the original (PDF) on 2011-06-04. Retrieved 2009-07-09.
"OpenPRS". Archived from the original on 2014-10-21. Retrieved 2014-10-23.
AgentSpeak(RT) Archived 2012-03-26 at the Wayback Machine
Vikhorev, K., Alechina, N. and Logan, B. (2011). "Agent programming with priorities and deadlines" Archived March 26, 2012, at the Wayback Machine. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Taipei, Taiwan. May 2011., pp. 397-404.
Agent Real-Time System Archived 2011-09-27 at the Wayback Machine
Vikhorev, K., Alechina, N. and Logan, B. (2009). "The ARTS Real-Time Agent Architecture" Archived March 26, 2012, at the Wayback Machine. In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy. September 2009. CEUR Workshop Proceedings Vol-494.
TAO: A JAUS-based High-Level Control System for Single and Multiple Robots Y. Elmaliach, CogniTeam, (2008) "Archived copy". Archived from the original on 2009-01-07. Retrieved 2008-11-03.{{cite web}}: CS1 maint: archived copy as title (link)
Rimassa, G., Greenwood, D. and Kernland, M. E., (2006). The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing Archived May 16, 2008, at the Wayback Machine. International Conference on Autonomic and Autonomous Systems (ICAS).

whitestein.com

Living Systems Process Suite
Rimassa, G., Greenwood, D. and Kernland, M. E., (2006). The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing Archived May 16, 2008, at the Wayback Machine. International Conference on Autonomic and Autonomous Systems (ICAS).

worldcat.org

Umbrello, Steven; Yampolskiy, Roman V. (2021-05-15). "Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles". International Journal of Social Robotics. 14 (2): 313–322. doi:10.1007/s12369-021-00790-w. hdl:2318/1788856. ISSN 1875-4805.

zenodo.org

MCAPL (Zenodo)