'Pure' BDI Procedural Reasoning System (PRS) IRMA (not implemented but can be considered as PRS with non-reconsideration) UM-PRSUM-PRS OpenPRS Distributed Multi-Agent Reasoning System (dMARS) AgentSpeak(L) – see Jason below AgentSpeak(RT)AgentSpeak(RT) Vikhorev, K., Alechina, N. and Logan, B. (2011). "Agent programming with priorities and deadlines" . 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 (ARTS)Agent Real-Time System (ARTS)Vikhorev, K., Alechina, N. and Logan, B. (2009). "The ARTS Real-Time Agent Architecture" . 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. JAMJAM JACK Intelligent Agents JADEX (open source project)JADEX  GORITE SPARKSPARK 3APL 2APL2APL GOAL agent programming language CogniTAO (Think-As-One)CogniTAO (Think-As-One)TAO: A JAUS-based High-Level Control System for Single and Multiple Robots Y. Elmaliach, CogniTeam, (2008) Living Systems Process SuiteLiving Systems Process SuiteRimassa, G., Greenwood, D. and Kernland, M. E., (2006). The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing . International Conference on Autonomic and Autonomous Systems (ICAS). PROFETA GwendolenGwendolen Semantics:2017 (Part of the Model Checking Agent Programming Languages FrameworkModel Checking Agent Programming LanguagesMCAPL (Zenodo)) Extensions and hybrid systems JACK Teams CogniTAO (Think-As-One) Living Systems Process Suite BrahmsBrahms 
'Pure' BDI Procedural Reasoning System (PRS) IRMA (not implemented but can be considered as PRS with non-reconsideration) UM-PRSUM-PRS OpenPRS Distributed Multi-Agent Reasoning System (dMARS) AgentSpeak(L) – see Jason below AgentSpeak(RT)AgentSpeak(RT) Vikhorev, K., Alechina, N. and Logan, B. (2011). "Agent programming with priorities and deadlines" . 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 (ARTS)Agent Real-Time System (ARTS)Vikhorev, K., Alechina, N. and Logan, B. (2009). "The ARTS Real-Time Agent Architecture" . 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. JAMJAM JACK Intelligent Agents JADEX (open source project)JADEX JASON GORITE SPARKSPARK 3APL 2APL2APL GOAL agent programming language CogniTAO (Think-As-One)CogniTAO (Think-As-One)TAO: A JAUS-based High-Level Control System for Single and Multiple Robots Y. Elmaliach, CogniTeam, (2008) Living Systems Process SuiteLiving Systems Process SuiteRimassa, G., Greenwood, D. and Kernland, M. E., (2006). The Living Systems Technology Suite: An Autonomous Middleware for Autonomic Computing . International Conference on Autonomic and Autonomous Systems (ICAS). PROFETA GwendolenGwendolen Semantics:2017 (Part of the Model Checking Agent Programming Languages FrameworkModel Checking Agent Programming LanguagesMCAPL (Zenodo)) Extensions and hybrid systems JACK Teams CogniTAO (Think-As-One) Living Systems Process Suite BrahmsBrahms JaCaMo
A
JASON
A
JaCaMo