Dettaglio pubblicazione
2022, ARTIFICIAL INTELLIGENCE, Pages 103598- (volume: 302)
Situation calculus for controller synthesis in manufacturing systems with first-order state representation (01a Articolo in rivista)
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords