Author:Max Wisniewski

Publications
Leo-III Version 1.1 (System description) Christoph Benzmüller, Alexander Steen and Max Wisniewski In:IWIL Workshop and LPAR Short Presentations
Going Polymorphic - TH1 Reasoning for Leo-III Alexander Steen, Max Wisniewski and Christoph Benzmüller In:IWIL Workshop and LPAR Short Presentations
Capability Discovery for Automated Reasoning Systems Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller In:IWIL Workshop and LPAR Short Presentations
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL Alexander Steen, Max Wisniewski and Christoph Benzmüller In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic Max Wisniewski and Alexander Steen In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics