Dettaglio pubblicazione
2014, THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, Pages 333-376 (volume: 51)
Verification of agent-based artifact systems (01a Articolo in rivista)
Belardinelli Francesco, Lomuscio Alessio, Patrizi Fabio
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords