@inproceedings{DBLP:conf/ijcai/GeffnerLM95,
  author       = {Hector Geffner and
                  Jimena Llopis and
                  Gisela Mendez},
  title        = {Sound and Efficient Non-monotonic Inference},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada, August
                  20-25 1995, 2 Volumes},
  pages        = {1495--1501},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeffnerLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"j2bXWEzZ46HEbeiPB","bibbaseid":"geffner-llopis-mendez-soundandefficientnonmonotonicinference-1995","author_short":["Geffner, H.","Llopis, J.","Mendez, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]},{"firstnames":["Jimena"],"propositions":[],"lastnames":["Llopis"],"suffixes":[]},{"firstnames":["Gisela"],"propositions":[],"lastnames":["Mendez"],"suffixes":[]}],"title":"Sound and Efficient Non-monotonic Inference","booktitle":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes","pages":"1495–1501","publisher":"Morgan Kaufmann","year":"1995","url":"http://ijcai.org/Proceedings/95-2/Papers/062.pdf","timestamp":"Tue, 20 Aug 2019 16:17:30 +0200","biburl":"https://dblp.org/rec/conf/ijcai/GeffnerLM95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/GeffnerLM95,\n author = {Hector Geffner and\n Jimena Llopis and\n Gisela Mendez},\n title = {Sound and Efficient Non-monotonic Inference},\n booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial\n Intelligence, {IJCAI} 95, Montr{\\'{e}}al Qu{\\'{e}}bec, Canada, August\n 20-25 1995, 2 Volumes},\n pages = {1495--1501},\n publisher = {Morgan Kaufmann},\n year = {1995},\n url = {http://ijcai.org/Proceedings/95-2/Papers/062.pdf},\n timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/GeffnerLM95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Geffner, H.","Llopis, J.","Mendez, G."],"key":"DBLP:conf/ijcai/GeffnerLM95","id":"DBLP:conf/ijcai/GeffnerLM95","bibbaseid":"geffner-llopis-mendez-soundandefficientnonmonotonicinference-1995","role":"author","urls":{"Paper":"http://ijcai.org/Proceedings/95-2/Papers/062.pdf"},"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":["sound","efficient","non","monotonic","inference","geffner","llopis","mendez"],"title":"Sound and Efficient Non-monotonic Inference","year":1995}