A requirement specification language for configuration dynamics of multiagent systems

DOI10.1002/INT.10171MaRDI QIDQ3156904zbMATH OpenOpenAlexFDO

Authors Mehdi Dastani, Catholijn M. Jonker, Jan Treur

Publication date 12 January 2005

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.10171

Mathematics Subject Classification ID

Theory of software (68N99) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 2080586
• scientific article; zbMATH DE number 2090955
• Dynamic specification of open agent systems
• Specification and Verification of Multi-Agent Systems
• A formal framework of multi-agent systems with requirement/service cooperative style
• Multi-agent systems specification and certification: a situation and state calculus approach
• Formal Specification of Multi-agent Systems by Using EUSMs

Cited in

(4)

• Specification and verification of a dynamic reconfiguration protocol for agent-based applications
• On providing dynamic multilingual natural language interaction in agents
• scientific article; zbMATH DE number 2080586 (Why is no real title available?)
• Dynamic specification of open agent systems

This page was built for publication: A requirement specification language for configuration dynamics of multiagent systems

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