The Refinement of Multi-Agent Systems

DOI10.1007/978-1-4419-6984-2_2zbMath1201.68123OpenAlexW1630719791MaRDI QIDQ3056326

Lăcrămioara Aştefănoaei, Frank S. de Boer

Publication date: 11 November 2010

Published in: Specification and Verification of Multi-agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2_2

zbMATH Keywords

language BUpL

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Related Items (1)

Refining autonomous agents with declarative beliefs and desires

This page was built for publication: The Refinement of Multi-Agent Systems