@inproceedings{C50,
  Address =	 {Wroclaw, Poland},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {TABLEAUX 2015},
  Doi =		 {10.1007/978-3-319-24312-2_15},
  Editor =	 {Hans De Nivelle},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding,
                  Automated Reasoning, Ontology Reasoning,
                  Computational Metaphysics},
  Note =	 {(Invited paper)},
  Pages =	 {213-220},
  Publisher =	 {Springer},
  Series =	 {LNAI},
  Title =	 {Invited Talk: On a (Quite) Universal Theorem Proving
                  Approach and Its Application in Metaphysics},
  url_preprint = {http://christoph-benzmueller.de/papers/C50.pdf},
  Volume =	 9323,
  Year =	 2015,
}

{"_id":"FFttNCM2fBEyByCMD","bibbaseid":"benzmller-invitedtalkonaquiteuniversaltheoremprovingapproachanditsapplicationinmetaphysics-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Wroclaw, Poland","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"TABLEAUX 2015","doi":"10.1007/978-3-319-24312-2_15","editor":[{"firstnames":["Hans","De"],"propositions":[],"lastnames":["Nivelle"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Semantic Embedding, Automated Reasoning, Ontology Reasoning, Computational Metaphysics","note":"(Invited paper)","pages":"213-220","publisher":"Springer","series":"LNAI","title":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics","url_preprint":"http://christoph-benzmueller.de/papers/C50.pdf","volume":"9323","year":"2015","bibtex":"@inproceedings{C50,\n Address =\t {Wroclaw, Poland},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Booktitle =\t {TABLEAUX 2015},\n Doi =\t\t {10.1007/978-3-319-24312-2_15},\n Editor =\t {Hans De Nivelle},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding,\n Automated Reasoning, Ontology Reasoning,\n Computational Metaphysics},\n Note =\t {(Invited paper)},\n Pages =\t {213-220},\n Publisher =\t {Springer},\n Series =\t {LNAI},\n Title =\t {Invited Talk: On a (Quite) Universal Theorem Proving\n Approach and Its Application in Metaphysics},\n url_preprint = {http://christoph-benzmueller.de/papers/C50.pdf},\n Volume =\t 9323,\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["Nivelle, H. D."],"key":"C50","id":"C50","bibbaseid":"benzmller-invitedtalkonaquiteuniversaltheoremprovingapproachanditsapplicationinmetaphysics-2015","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/C50.pdf"},"keyword":["own","Higher Order Logic","Semantic Embedding","Automated Reasoning","Ontology Reasoning","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","automated reasoning","ontology reasoning","computational metaphysics"],"search_terms":["invited","talk","quite","universal","theorem","proving","approach","application","metaphysics","benzmüller"],"title":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics","year":2015,"downloads":2}