@inproceedings{DBLP:conf/ijcai/FrancesG16,
  author       = {Guillem Franc{\`{e}}s and
                  Hector Geffner},
  editor       = {Subbarao Kambhampati},
  title        = {{\(\exists\)}-STRIPS: Existential Quantification in Planning and Constraint
                  Satisfaction},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {3082--3088},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/437},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FrancesG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"psRwgGd6Sb3E9wvfM","bibbaseid":"francs-geffner-stripsexistentialquantificationinplanningandconstraintsatisfaction-2016","author_short":["Francès, G.","Geffner, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Guillem"],"propositions":[],"lastnames":["Francès"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Subbarao"],"propositions":[],"lastnames":["Kambhampati"],"suffixes":[]}],"title":"\\(∃\\)-STRIPS: Existential Quantification in Planning and Constraint Satisfaction","booktitle":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016","pages":"3082–3088","publisher":"IJCAI/AAAI Press","year":"2016","url":"http://www.ijcai.org/Abstract/16/437","timestamp":"Tue, 20 Aug 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ijcai/FrancesG16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/FrancesG16,\n author = {Guillem Franc{\\`{e}}s and\n Hector Geffner},\n editor = {Subbarao Kambhampati},\n title = {{\\(\\exists\\)}-STRIPS: Existential Quantification in Planning and Constraint\n Satisfaction},\n booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July\n 2016},\n pages = {3082--3088},\n publisher = {{IJCAI/AAAI} Press},\n year = {2016},\n url = {http://www.ijcai.org/Abstract/16/437},\n timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/FrancesG16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Francès, G.","Geffner, H."],"editor_short":["Kambhampati, S."],"key":"DBLP:conf/ijcai/FrancesG16","id":"DBLP:conf/ijcai/FrancesG16","bibbaseid":"francs-geffner-stripsexistentialquantificationinplanningandconstraintsatisfaction-2016","role":"author","urls":{"Paper":"http://www.ijcai.org/Abstract/16/437"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","dataSources":["NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"],"keywords":[],"search_terms":["strips","existential","quantification","planning","constraint","satisfaction","francès","geffner"],"title":"\\(∃\\)-STRIPS: Existential Quantification in Planning and Constraint Satisfaction","year":2016}