Keywords: Mulimodal Logic
2016
[1] Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In GCAI 2016, 2nd Global Conference on Artificial Intelligence (Christoph Benzüller, Raul Rojas, Geoff Sutcliffe, eds.), EasyChair, EPiC Series in Computing, volume 41, pp. 1-10, 2016. [bibtex] [pdf]
Powered by bibtexbrowser