@inproceedings{C34,
  Address =	 {Montpellier, France},
  Author =	 {Christoph Benzm{\"u}ller and Jens Otten and Thomas
                  Raths},
  Booktitle =	 {ECAI 2012},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2012_ECAI.pdf">slides</a>},
  Doi =		 {10.3233/978-1-61499-098-7-163},
  Editor =	 {Luc De Raedt and Christian Bessiere and Didier
                  Dubois and Patrick Doherty and Paolo Frasconi and
                  Fredrik Heintz and Peter Lucas},
  Isbn =	 {978-1-61499-097-0},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning},
  Pages =	 {163-168},
  Publisher =	 {IOS Press},
  Series =	 {Frontiers in Artificial Intelligence and
                  Applications},
  Title =	 {Implementing and Evaluating Provers for First-order
                  Modal Logics},
  url = {http://christoph-benzmueller.de/papers/C34.pdf},
  Volume =	 242,
  Year =	 2012,
}

{"_id":"dH99WnXhrznbWYFS5","bibbaseid":"benzmller-otten-raths-implementingandevaluatingproversforfirstordermodallogics-2012","author_short":["Benzmüller, C.","Otten, J.","Raths, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Montpellier, France","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Raths"],"suffixes":[]}],"booktitle":"ECAI 2012","comment":"<a href=\"http://christoph-benzmueller.de//papers/2012_ECAI.pdf\">slides</a>","doi":"10.3233/978-1-61499-098-7-163","editor":[{"firstnames":["Luc","De"],"propositions":[],"lastnames":["Raedt"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Bessiere"],"suffixes":[]},{"firstnames":["Didier"],"propositions":[],"lastnames":["Dubois"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Doherty"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Frasconi"],"suffixes":[]},{"firstnames":["Fredrik"],"propositions":[],"lastnames":["Heintz"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Lucas"],"suffixes":[]}],"isbn":"978-1-61499-097-0","keywords":"own, Higher Order Logic, Semantic Embedding, Modal Logics, Automated Reasoning","pages":"163-168","publisher":"IOS Press","series":"Frontiers in Artificial Intelligence and Applications","title":"Implementing and Evaluating Provers for First-order Modal Logics","url":"http://christoph-benzmueller.de/papers/C34.pdf","volume":"242","year":"2012","bibtex":"@inproceedings{C34,\n Address =\t {Montpellier, France},\n Author =\t {Christoph Benzm{\\\"u}ller and Jens Otten and Thomas\n Raths},\n Booktitle =\t {ECAI 2012},\n Comment =\t {<a href=\"http://christoph-benzmueller.de//papers/2012_ECAI.pdf\">slides</a>},\n Doi =\t\t {10.3233/978-1-61499-098-7-163},\n Editor =\t {Luc De Raedt and Christian Bessiere and Didier\n Dubois and Patrick Doherty and Paolo Frasconi and\n Fredrik Heintz and Peter Lucas},\n Isbn =\t {978-1-61499-097-0},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding, Modal\n Logics, Automated Reasoning},\n Pages =\t {163-168},\n Publisher =\t {IOS Press},\n Series =\t {Frontiers in Artificial Intelligence and\n Applications},\n Title =\t {Implementing and Evaluating Provers for First-order\n Modal Logics},\n url = {http://christoph-benzmueller.de/papers/C34.pdf},\n Volume =\t 242,\n Year =\t 2012,\n}\n\n","author_short":["Benzmüller, C.","Otten, J.","Raths, T."],"editor_short":["Raedt, L. D.","Bessiere, C.","Dubois, D.","Doherty, P.","Frasconi, P.","Heintz, F.","Lucas, P."],"key":"C34","id":"C34","bibbaseid":"benzmller-otten-raths-implementingandevaluatingproversforfirstordermodallogics-2012","role":"author","urls":{"url":"http://christoph-benzmueller.de/papers/C34.pdf"},"keyword":["own","Higher Order Logic","Semantic Embedding","Modal Logics","Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","modal logics","automated reasoning"],"search_terms":["implementing","evaluating","provers","first","order","modal","logics","benzmüller","otten","raths"],"title":"Implementing and Evaluating Provers for First-order Modal Logics","year":2012,"downloads":1}