Home » Publication » 18824

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
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma