%0 Conference Paper %1 conf/kr/ArenasBNS18 %A Arenas, Marcelo %A Baier, Jorge A. %A Navarro, Juan S. %A Sardiña, Sebastian %B KR %D 2018 %E Thielscher, Michael %E Toni, Francesca %E Wolter, Frank %I AAAI Press %K dblp %P 484-493 %T On the Progression of Situation Calculus Universal Theories with Constants. %U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#ArenasBNS18 %@ 978-1-57735-803-9

@inproceedings{conf/kr/ArenasBNS18, added-at = {2021-02-09T00:00:00.000+0100}, author = {Arenas, Marcelo and Baier, Jorge A. and Navarro, Juan S. and Sardiña, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/2e9ec0aeed749fcec7537bd8802721f05/dblp}, booktitle = {KR}, crossref = {conf/kr/2018}, editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank}, ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18074}, interhash = {ff7995c4c70c39f91407d1f72deb03be}, intrahash = {e9ec0aeed749fcec7537bd8802721f05}, isbn = {978-1-57735-803-9}, keywords = {dblp}, pages = {484-493}, publisher = {AAAI Press}, timestamp = {2024-04-09T23:54:05.000+0200}, title = {On the Progression of Situation Calculus Universal Theories with Constants.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#ArenasBNS18}, year = 2018 }