ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz 0001, C., Baier, J. A., & McIlraith, S. A. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 600-610, 2008.
Paper bibtex @inproceedings{ dblp3517195,
title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond},
author = {Christian Fritz 0001 and Jorge A. Baier and Sheila A. McIlraith},
author_short = {Fritz 0001, C. and Baier, J. A. and McIlraith, S. A.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2008},
key = {dblp3517195},
id = {dblp3517195},
biburl = {http://www.dblp.org/rec/bibtex/conf/kr/FritzBM08},
url = {http://www.aaai.org/Library/KR/2008/kr08-059.php},
conference = {KR},
pages = {600-610},
text = {KR 2008:600-610},
booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)}
}