Dettaglio pubblicazione
2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, Pages 369-374 (volume: 263)
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus (04b Atto di convegno in volume)
DE GIACOMO Giuseppe, Yves Lespérance, Patrizi Fabio, Vassos Stavros
ISBN: 978-1-61499-418-3
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords