Automatic composition and reasoning in computational multi-agent systems

MaRDI QIDQ2808616zbMATH OpenFDO

Authors Roman Neruda

Publication date 24 May 2016

zbMATH Keywords

multi-agent systemsontologiesreasoningcomputational intelligence

Mathematics Subject Classification ID

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

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

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)