Formal modeling of dynamic environments for real-time agents

DOI10.1007/3-540-45023-8_46MaRDI QIDQ4813486zbMATH OpenFDO

Authors V. Botti, Eva Onaindia, Miguel Rebollo

Publication date 13 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/2691/26910475.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Deliberative server for real-time agents
• Logical formalism for specification of real-time multiagent systems
• SIMBA: An approach for real-time multi-agent systems
• Agent deliberation in an executable temporal framework
• Agents in proactive environments

Cited in

(4)

• Dynamic aspects for virtual organizations based on intelligent agent technology
• SIMBA: An approach for real-time multi-agent systems
• Deliberative server for real-time agents
• Real-time specification and modeling with joint actions

This page was built for publication: Formal modeling of dynamic environments for real-time agents

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