@inproceedings{C66,
  Author =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, Automated Reasoning, Universal Reasoning,
                  Semantic Embedding, Higher Order Logic},
  Title =	 {Recent Successes with a Meta-Logical Approach to
                  Universal Logical Reasoning (Invited Extended
                  Abstract)},
  editor =	 {Simone Andr{\'{e}} da Costa Cavalheiro and
                  Jos{\'{e}} Luiz Fiadeiro},
  Booktitle =	 {Formal Methods: Foundations and Applications - 20th
                  Brazilian Symposium, {SBMF} 2017, Recife, Brazil,
                  November 29 - December 1, 2017, Proceedings},
  pages =	 {7--11},
  year =	 2017,
  series =	 {Lecture Notes in Computer Science},
  volume =	 10623,
  publisher =	 {Springer},
  url = {http://christoph-benzmueller.de/papers/C66.pdf},
}

{"_id":"oey4nsteSEeydaQqh","bibbaseid":"benzmller-recentsuccesseswithametalogicalapproachtouniversallogicalreasoninginvitedextendedabstract-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"keywords":"own, Automated Reasoning, Universal Reasoning, Semantic Embedding, Higher Order Logic","title":"Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Invited Extended Abstract)","editor":[{"firstnames":["Simone","André"],"propositions":["da"],"lastnames":["Costa","Cavalheiro"],"suffixes":[]},{"firstnames":["José","Luiz"],"propositions":[],"lastnames":["Fiadeiro"],"suffixes":[]}],"booktitle":"Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings","pages":"7–11","year":"2017","series":"Lecture Notes in Computer Science","volume":"10623","publisher":"Springer","url":"http://christoph-benzmueller.de/papers/C66.pdf","bibtex":"@inproceedings{C66,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Keywords =\t {own, Automated Reasoning, Universal Reasoning,\n Semantic Embedding, Higher Order Logic},\n Title =\t {Recent Successes with a Meta-Logical Approach to\n Universal Logical Reasoning (Invited Extended\n Abstract)},\n editor =\t {Simone Andr{\\'{e}} da Costa Cavalheiro and\n Jos{\\'{e}} Luiz Fiadeiro},\n Booktitle =\t {Formal Methods: Foundations and Applications - 20th\n Brazilian Symposium, {SBMF} 2017, Recife, Brazil,\n November 29 - December 1, 2017, Proceedings},\n pages =\t {7--11},\n year =\t 2017,\n series =\t {Lecture Notes in Computer Science},\n volume =\t 10623,\n publisher =\t {Springer},\n url = {http://christoph-benzmueller.de/papers/C66.pdf},\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["da Costa Cavalheiro, S. A.","Fiadeiro, J. L."],"key":"C66","id":"C66","bibbaseid":"benzmller-recentsuccesseswithametalogicalapproachtouniversallogicalreasoninginvitedextendedabstract-2017","role":"author","urls":{"url":"http://christoph-benzmueller.de/papers/C66.pdf"},"keyword":["own","Automated Reasoning","Universal Reasoning","Semantic Embedding","Higher Order Logic"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","universal reasoning","semantic embedding","higher order logic"],"search_terms":["recent","successes","meta","logical","approach","universal","logical","reasoning","invited","extended","abstract","benzmüller"],"title":"Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Invited Extended Abstract)","year":2017,"downloads":1}