ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz, C., Baier, J. A., & McIlraith, S. A. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pages 600–610, 2008.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [link]Paper  bibtex   2 downloads  
@InProceedings{	  dblp:conf/kr/fritzbm08,
  author	= {Christian Fritz and Jorge A. Baier and Sheila A.
		  McIlraith},
  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},
  year		= {2008},
  crossref	= {DBLP:conf/kr/2008},
  url		= {http://www.aaai.org/Library/KR/2008/kr08-059.php},
  timestamp	= {Tue, 10 Jun 2014 01:00:00 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/kr/FritzBM08},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

Downloads: 2