Agent technology from a formal perspective.

zbMATH Open1088.68154MaRDI QIDQ818323FDOQ818323

Authors:

Publication date: 28 March 2006

Published in: NASA Monographs in Systems and Software Engineering (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 2020409
• scientific article; zbMATH DE number 1759741
• scientific article; zbMATH DE number 1678421
• scientific article; zbMATH DE number 1153199
• scientific article; zbMATH DE number 2150806

zbMATH Keywords

formal approaches to agent-based systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (4)

• Communities and ancestors associated with Egon Börger and ASM
• Transactional agents. Towards a robust multi-agent system
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Agent deliberation in an executable temporal framework

This page was built for publication: Agent technology from a formal perspective.

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