ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz, C.; Baier, J. A.; and McIlraith, S. A. In Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning, pages 600–610, Sydney, Australia, September 16–19, 2008. Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found here.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [pdf]Paper  bibtex   11 downloads  
@InProceedings{fri-bai-mci-kr08,
  author = 	 {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith},
  title = 	 {Con{G}olog, {S}in {T}rans: Compiling {ConGolog} into Basic Action Theories for Planning and Beyond},
  booktitle =	 {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning},
  year =	 2008,
  urlPaper= {fri-bai-mci-kr08.pdf},
  address =	 {Sydney, Australia},
  month =	 {September 16--19},
  pages =	 {600--610},
  note = {Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found <a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/576/fri-bai-mci-kr08-techreport.pdf">here</a>.},
  keywords = {Golog}
}
Downloads: 11