Multi-agent systems specification and certification: a situation and state calculus approach

DOI10.1023/B:AMAI.0000031198.84824.45zbMath1081.68053MaRDI QIDQ596479

Jaime Ramos, Paula Gouveia

Publication date: 10 August 2004

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledgeabductionspecificationsituation calculuscertificationmulti-agents

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Where logic and agents meet

This page was built for publication: Multi-agent systems specification and certification: a situation and state calculus approach