Home » Publication » 16872

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
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma