Home » Publication » 16895

Dettaglio pubblicazione

2012, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, Pages 467-477

Bounded situation calculus action theories and decidable verification (04b Atto di convegno in volume)

DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio

ISBN: 9781577355601
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma