Presentations

On First-Order μ-Calculus over Situation Calculus Action Theories

Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.