@article{DBLP:journals/aicom/Geffner14,
  author       = {Hector Geffner},
  title        = {Artificial Intelligence: From programs to solvers},
  journal      = {{AI} Commun.},
  volume       = {27},
  number       = {1},
  pages        = {45--51},
  year         = {2014},
  url          = {https://doi.org/10.3233/AIC-130581},
  doi          = {10.3233/AIC-130581},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/Geffner14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MtcDihWTnjXfbywmj","bibbaseid":"geffner-artificialintelligencefromprogramstosolvers-2014","author_short":["Geffner, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"title":"Artificial Intelligence: From programs to solvers","journal":"AI Commun.","volume":"27","number":"1","pages":"45–51","year":"2014","url":"https://doi.org/10.3233/AIC-130581","doi":"10.3233/AIC-130581","timestamp":"Mon, 26 Oct 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/aicom/Geffner14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/aicom/Geffner14,\n author = {Hector Geffner},\n title = {Artificial Intelligence: From programs to solvers},\n journal = {{AI} Commun.},\n volume = {27},\n number = {1},\n pages = {45--51},\n year = {2014},\n url = {https://doi.org/10.3233/AIC-130581},\n doi = {10.3233/AIC-130581},\n timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/aicom/Geffner14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Geffner, H."],"key":"DBLP:journals/aicom/Geffner14","id":"DBLP:journals/aicom/Geffner14","bibbaseid":"geffner-artificialintelligencefromprogramstosolvers-2014","role":"author","urls":{"Paper":"https://doi.org/10.3233/AIC-130581"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","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":["artificial","intelligence","programs","solvers","geffner"],"title":"Artificial Intelligence: From programs to solvers","year":2014}