On the testability of BDI agent systems

DOI10.1613/JAIR.4458zbMATH Open1364.68339OpenAlexW2419404797WikidataQ129493776 ScholiaQ129493776MaRDI QIDQ2921077FDOQ2921077

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

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

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

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)