Dettaglio pubblicazione
2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Pages 152-161
High-level Programming via Generalized Planning and LTL Synthesis (04b Atto di convegno in volume)
Bonet Blai, De Giacomo Giuseppe, Geffner Hector, Patrizi Fabio, Rubin Sasha
ISBN: 978-0-9992411-7-2
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords