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