@article{DBLP:journals/jair/KeyderG09,
  author       = {Emil Keyder and
                  Hector Geffner},
  title        = {Soft Goals Can Be Compiled Away},
  journal      = {J. Artif. Intell. Res.},
  volume       = {36},
  pages        = {547--556},
  year         = {2009},
  url          = {https://doi.org/10.1613/jair.2857},
  doi          = {10.1613/JAIR.2857},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/KeyderG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"CCd9HBGb5kW38Nqz4","bibbaseid":"keyder-geffner-softgoalscanbecompiledaway-2009","downloads":0,"creationDate":"2015-01-21T18:04:23.221Z","title":"Soft Goals Can Be Compiled Away","author_short":["Keyder, E.","Geffner, H."],"year":2009,"bibtype":"article","biburl":"https://ml.rwth-aachen.de//publications.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Emil"],"propositions":[],"lastnames":["Keyder"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"title":"Soft Goals Can Be Compiled Away","journal":"J. Artif. Intell. Res.","volume":"36","pages":"547–556","year":"2009","url":"https://doi.org/10.1613/jair.2857","doi":"10.1613/JAIR.2857","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jair/KeyderG09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jair/KeyderG09,\n author = {Emil Keyder and\n Hector Geffner},\n title = {Soft Goals Can Be Compiled Away},\n journal = {J. Artif. Intell. Res.},\n volume = {36},\n pages = {547--556},\n year = {2009},\n url = {https://doi.org/10.1613/jair.2857},\n doi = {10.1613/JAIR.2857},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/jair/KeyderG09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Keyder, E.","Geffner, H."],"key":"DBLP:journals/jair/KeyderG09","id":"DBLP:journals/jair/KeyderG09","bibbaseid":"keyder-geffner-softgoalscanbecompiledaway-2009","role":"author","urls":{"Paper":"https://doi.org/10.1613/jair.2857"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["soft","goals","compiled","away","keyder","geffner"],"keywords":[],"authorIDs":[],"dataSources":["oobJ8X29PJDnZ5HfE","NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"]}