@book{Talk252,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference},
	Title = {{(Invited; celebration of Martin Davis' 90th Birthday)} A Deontic Logic Reasoning Infrastructure},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-CiE.pdf">slides</a>},
	Month = aug, 
}

{"_id":"QCwQzgMgcdfy2gegC","bibbaseid":"anonymous-invitedcelebrationofmartindavis90thbirthdayadeonticlogicreasoninginfrastructure-2018","bibdata":{"bibtype":"book","type":"book","keywords":"presentation, invited presentations","optauthor":"Christoph Benzmüller","publisher":"Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference","title":"(Invited; celebration of Martin Davis' 90th Birthday) A Deontic Logic Reasoning Infrastructure","year":"2018","note":"<a href=\"http://christoph-benzmueller.de/papers/2018-CiE.pdf\">slides</a>","month":"August","bibtex":"@book{Talk252,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference},\n\tTitle = {{(Invited; celebration of Martin Davis' 90th Birthday)} A Deontic Logic Reasoning Infrastructure},\n\tYear = 2018,\n\tnote = {<a href=\"http://christoph-benzmueller.de/papers/2018-CiE.pdf\">slides</a>},\n\tMonth = aug, \n}\n\n","key":"Talk252","id":"Talk252","bibbaseid":"anonymous-invitedcelebrationofmartindavis90thbirthdayadeonticlogicreasoninginfrastructure-2018","role":"","urls":{},"keyword":["presentation","invited presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","invited presentations"],"search_terms":["invited","celebration","martin","davis","90th","birthday","deontic","logic","reasoning","infrastructure"],"title":"(Invited; celebration of Martin Davis' 90th Birthday) A Deontic Logic Reasoning Infrastructure","year":2018}