Home » Publication » 14317

Dettaglio pubblicazione

2016, AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Pages 950-956

Verifying congolog programs on bounded situation calculus theories (04b Atto di convegno in volume)

DE GIACOMO Giuseppe, Lesṕerance Yves, Patrizi Fabio, Sardina Sebastian

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