On the testability of BDI agent systems

DOI10.1613/JAIR.4458MaRDI QIDQ2921077zbMATH OpenOpenAlexWikidataFDO

Authors Michael Winikoff, Stephen Cranefield

Publication date 30 September 2014

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4458

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Decision procedures for BDI logics
• Debugging and testing of multi-agent systems using design artefacts
• Algebraic Methodology and Software Technology
• Model Based Testing for Agent Systems
• Engineering AgentSpeak(L): a formal computational model

Cited in

(3)

• Using rewrite strategies for testing BUpL agents
• Maintenance commitments: conception, semantics, and coherence
• Debugging and testing of multi-agent systems using design artefacts

This page was built for publication: On the testability of BDI agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921077)