Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña. On the Progression of Situation Calculus Universal Theories with Constants. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 484-493, AAAI Press, 2018. [doi]
@inproceedings{ArenasBNS18,
title = {On the Progression of Situation Calculus Universal Theories with Constants},
author = {Marcelo Arenas and Jorge A. Baier and Juan S. Navarro and Sebastian Sardiña},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18074},
researchr = {https://researchr.org/publication/ArenasBNS18},
cites = {0},
citedby = {0},
pages = {484-493},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018},
editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
publisher = {AAAI Press},
isbn = {978-1-57735-803-9},
}