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

{"_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://www.cs.toronto.edu/~fritz/publications/list.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":"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","bibtex":"@InProceedings{fri-bai-mci-kr08,\n author = \t {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith},\n title = \t {Con{G}olog, {S}in {T}rans: Compiling {ConGolog} into Basic Action Theories for Planning and Beyond},\n booktitle =\t {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning},\n year =\t 2008,\n urlPaper= {fri-bai-mci-kr08.pdf},\n address =\t {Sydney, Australia},\n month =\t {September 16--19},\n pages =\t {600--610},\n 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>.},\n keywords = {Golog}\n}\n\n","author_short":["Fritz, C.","Baier, J. A.","McIlraith, S. A."],"key":"fri-bai-mci-kr08","id":"fri-bai-mci-kr08","bibbaseid":"fritz-baier-mcilraith-congologsintranscompilingcongologintobasicactiontheoriesforplanningandbeyond-2008","role":"author","urls":{"Paper":"https://www.cs.toronto.edu/~fritz/publications/fri-bai-mci-kr08.pdf"},"keyword":["Golog"],"metadata":{"authorlinks":{"fritz, c":"http://www.cs.toronto.edu/~fritz/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/","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":["golog"],"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}