Specification of heterogeneous agent architectures

DOI10.1007/3-540-44631-1_19MaRDI QIDQ4473083zbMATH OpenFDO

Authors Simone Marini, M. Martelli, Viviana Mascardi, Floriano Zini

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1986/19860275.htm

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Logic-based specification languages for intelligent software agents
• Agent specification using multi-context systems
• A formal specification of M-agent architecture
• The cognitive agents specification language and verification environment
• Formal specification of holonic multi-agent systems framework

This page was built for publication: Specification of heterogeneous agent architectures

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