Automatic composition and reasoning in computational multi-agent systems

zbMATH Open1337.68259MaRDI QIDQ2808616FDOQ2808616

Authors: Roman Neruda 

Publication date: 24 May 2016

Recommendations

• scientific article; zbMATH DE number 1202867
• scientific article; zbMATH DE number 1552264
• A compositional automata-based approach for model checking multi-agent systems
• Agents and Computational Autonomy
• Compositional synthesis of reactive controllers for multi-agent systems
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• Computational logic in multi-agent systems: Recent advances and future directions
• Combined reasoning by automated cooperation

zbMATH Keywords

multi-agent systemsontologiesreasoningcomputational intelligence

Mathematics Subject Classification ID

Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Cited In (1)

• Computer Aided Systems Theory – EUROCAST 2005

This page was built for publication: Automatic composition and reasoning in computational multi-agent systems

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