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

{"_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://dblp.org/pid/38/6-1.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":[]}],"editor":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Brewka"],"suffixes":[]},{"firstnames":["Jérôme"],"propositions":[],"lastnames":["Lang"],"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","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","bibtex":"@inproceedings{DBLP:conf/kr/FritzBM08,\n author = {Christian Fritz and\n Jorge A. Baier and\n Sheila A. McIlraith},\n editor = {Gerhard Brewka and\n J{\\'{e}}r{\\^{o}}me Lang},\n title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories\n for Planning and Beyond},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Eleventh International Conference, {KR} 2008, Sydney, Australia,\n September 16-19, 2008},\n pages = {600--610},\n publisher = {{AAAI} Press},\n year = {2008},\n url = {http://www.aaai.org/Library/KR/2008/kr08-059.php},\n timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/kr/FritzBM08.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fritz, C.","Baier, J. A.","McIlraith, S. A."],"editor_short":["Brewka, G.","Lang, J."],"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://www.cs.toronto.edu/~fritz/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/ltl_planning/","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","My59FpWzB7oMDsLaG","eAhqYfpi6jKYhr7xL","2252seNhipfTmjEBQ"],"downloads":2}