Christopher James Ewin, Adrian R. Pearce, Stavros Vassos. Transforming Situation Calculus Action Theories for Optimised Reasoning. In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [doi]
@inproceedings{EwinPV14,
title = {Transforming Situation Calculus Action Theories for Optimised Reasoning},
author = {Christopher James Ewin and Adrian R. Pearce and Stavros Vassos},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8017},
researchr = {https://researchr.org/publication/EwinPV14},
cites = {0},
citedby = {0},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014},
editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter},
publisher = {AAAI Press},
isbn = {978-1-57735-657-8},
}