Dettaglio pubblicazione
2016, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Pages 411-420
On First-Order μ-Calculus over Situation Calculus Action Theories (04b Atto di convegno in volume)
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
ISBN: 978-1-57735-755-1
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords