Multi-agent systems specification and certification: a situation and state calculus approach
type: Item
instance of: scholarly article
title: Multi-agent systems specification and certification: a situation and state calculus approach
zbMATH Open document ID: 1081.68053
DOI: 10.1023/B:AMAI.0000031198.84824.45
author: Paula Gouveia
author: Jaime Ramos
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2004-08-10T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 2085796
zbMATH Keywords: multi-agents
zbMATH Keywords: specification
zbMATH Keywords: certification
zbMATH Keywords: abduction
zbMATH Keywords: knowledge
zbMATH Keywords: situation calculus
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 2085796