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
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords