Agent technology from a formal perspective.

MaRDI QIDQ818323zbMATH OpenFDO

Authors

Publication date 28 March 2006

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

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)