@inproceedings{DBLP:conf/ijcai/PatriziLGG11,
  author       = {Fabio Patrizi and
                  Nir Lipovetzky and
                  Giuseppe De Giacomo and
                  Hector Geffner},
  editor       = {Toby Walsh},
  title        = {Computing Infinite Plans for {LTL} Goals Using a Classical Planner},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {2003--2008},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-334},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-334},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PatriziLGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"cgEf4RrPHfSvppKa7","bibbaseid":"patrizi-lipovetzky-giacomo-geffner-computinginfiniteplansforltlgoalsusingaclassicalplanner-2011","authorIDs":["559384cbf8b71a5307000251"],"author_short":["Patrizi, F.","Lipovetzky, N.","Giacomo, G. D.","Geffner, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Lipovetzky"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Toby"],"propositions":[],"lastnames":["Walsh"],"suffixes":[]}],"title":"Computing Infinite Plans for LTL Goals Using a Classical Planner","booktitle":"IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011","pages":"2003–2008","publisher":"IJCAI/AAAI","year":"2011","url":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-334","doi":"10.5591/978-1-57735-516-8/IJCAI11-334","timestamp":"Sun, 25 Oct 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ijcai/PatriziLGG11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/PatriziLGG11,\n author = {Fabio Patrizi and\n Nir Lipovetzky and\n Giuseppe De Giacomo and\n Hector Geffner},\n editor = {Toby Walsh},\n title = {Computing Infinite Plans for {LTL} Goals Using a Classical Planner},\n booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n 2011},\n pages = {2003--2008},\n publisher = {{IJCAI/AAAI}},\n year = {2011},\n url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-334},\n doi = {10.5591/978-1-57735-516-8/IJCAI11-334},\n timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/PatriziLGG11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Patrizi, F.","Lipovetzky, N.","Giacomo, G. D.","Geffner, H."],"editor_short":["Walsh, T."],"key":"DBLP:conf/ijcai/PatriziLGG11","id":"DBLP:conf/ijcai/PatriziLGG11","bibbaseid":"patrizi-lipovetzky-giacomo-geffner-computinginfiniteplansforltlgoalsusingaclassicalplanner-2011","role":"author","urls":{"Paper":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-334"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","creationDate":"2019-07-03T06:48:52.210Z","downloads":0,"keywords":[],"search_terms":["computing","infinite","plans","ltl","goals","using","classical","planner","patrizi","lipovetzky","giacomo","geffner"],"title":"Computing Infinite Plans for LTL Goals Using a Classical Planner","year":2011,"dataSources":["aEEaeDThvykek5NpC","nYZATui8QfoZTWDxh","NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"]}