Dettaglio pubblicazione
2014, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014, Pages 141-148
Progression and Verification of Situation Calculus Agents with Bounded Beliefs (04b Atto di convegno in volume)
DE GIACOMO Giuseppe, Y. Lespérance, Patrizi Fabio, Vassos Stavros
ISBN: 978-1-4503-2738-1
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords