ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz, C., Baier, J. A., & McIlraith, S. A. In Brewka, G. & Lang, J., editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pages 600–610, 2008. AAAI Press.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [link]Paper  bibtex   1 download  
@inproceedings{DBLP:conf/kr/FritzBM08,
  author       = {Christian Fritz and
                  Jorge A. Baier and
                  Sheila A. McIlraith},
  editor       = {Gerhard Brewka and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories
                  for Planning and Beyond},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
                  September 16-19, 2008},
  pages        = {600--610},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/KR/2008/kr08-059.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/FritzBM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 1