Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. On First-Order μ-Calculus over Situation Calculus Action Theories. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 411-420, AAAI Press, 2016. [doi]
@inproceedings{CalvaneseGMP16, title = {On First-Order μ-Calculus over Situation Calculus Action Theories}, author = {Diego Calvanese and Giuseppe De Giacomo and Marco Montali and Fabio Patrizi}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12871}, researchr = {https://researchr.org/publication/CalvaneseGMP16}, cites = {0}, citedby = {0}, pages = {411-420}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016}, editor = {Chitta Baral and James P. Delgrande and Frank Wolter}, publisher = {AAAI Press}, isbn = {978-1-57735-755-1}, }