Dettaglio pubblicazione
2018, INFORMATION AND COMPUTATION, Pages 328-347 (volume: 259)
First-order μ-calculus over generic transition systems and applications to the situation calculus (01a Articolo in rivista)
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords