@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}
}

{"_id":"APAGa99D3zpbuifJa","bibbaseid":"fritz-baier-mcilraith-congologsintranscompilingcongologintobasicactiontheoriesforplanningandbeyond-2008","title":"ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond","author_short":["Fritz, C.","Baier, J. A.","McIlraith, S. A."],"year":2008,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/ialab-puc/ialab.ing.puc.cl/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Fritz"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"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","bibtex":"@InProceedings{\t dblp:conf/kr/fritzbm08,\n author\t= {Christian Fritz and Jorge A. Baier and Sheila A.\n\t\t McIlraith},\n title\t\t= {ConGolog, Sin Trans: Compiling ConGolog into Basic Action\n\t\t Theories for Planning and Beyond},\n booktitle\t= {Principles of Knowledge Representation and Reasoning:\n\t\t Proceedings of the Eleventh International Conference, {KR}\n\t\t 2008, Sydney, Australia, September 16-19, 2008},\n pages\t\t= {600--610},\n year\t\t= {2008},\n crossref\t= {DBLP:conf/kr/2008},\n url\t\t= {http://www.aaai.org/Library/KR/2008/kr08-059.php},\n timestamp\t= {Tue, 10 Jun 2014 01:00:00 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/kr/FritzBM08},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fritz, C.","Baier, J. A.","McIlraith, S. A."],"key":"dblp:conf/kr/fritzbm08","id":"dblp:conf/kr/fritzbm08","bibbaseid":"fritz-baier-mcilraith-congologsintranscompilingcongologintobasicactiontheoriesforplanningandbeyond-2008","role":"author","urls":{"Paper":"http://www.aaai.org/Library/KR/2008/kr08-059.php"},"metadata":{"authorlinks":{"fritz, c":"http://chfritz.github.io/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/index.html","baier, j":"http://www.cs.toronto.edu/~bgmomb/research.html"}},"downloads":2},"search_terms":["congolog","sin","trans","compiling","congolog","basic","action","theories","planning","beyond","fritz","baier","mcilraith"],"keywords":[],"authorIDs":["2HtLxn3ovsaNB9sR7","GvvCbq8Y4n9QqTySC","nt4rKk7pQbAZdWSCh"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","tw9fLbfgowkJ8DkE8","hCkK2axjCNdLJDwFo","optQ3PYGE2PxhriFJ","f3ifkFaLS9DJdfeTi","2LLKDfkxMDdABm58M","sg6yZ29Z2xB5xP79R","Wo6xXToiJqz8R4Frj","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","fm9Ny9KqMsRam6sc7","oTzysgY6n4hYhYsCE","DW88SeBasiygegzBc","AHHoAe5iwd3PS3D2z","G446v9njWTbWTXYNg","ya2CyA73rpZseyrZ8","hS6E23uHay6i6fNtc","vAo9zFmkx4MpPsgha","kpu26h99fC4E4byDQ","Jwuh2BtHasSBPk4uf","mrwPCHPimRkMKLBvv","weZDuRCSu4cK26QiD","oPBnYqJx9oW2adohh","xxrFGDKfJSsQdNCgB","xzRazYBBjM8WCuv6J"],"downloads":2}