Max Wisniewski

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 11

Top Topics

Reasoning Systems

Classical Logic

Automated Theorem Proving

Automated Reasoning

Top Venues

Publications

Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
Capability Discovery for Automated Reasoning Systems. IWIL@LPAR (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Going Polymorphic - TH1 Reasoning for Leo-III. IWIL@LPAR (2017)
Christoph Benzmüller, Alexander Steen, Max Wisniewski
Leo-III Version 1.1 (System description). LPAR (Short Presentations) (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. GCAI (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Agent-Based HOL Reasoning. ICMS (2016)
Max Wisniewski, Christoph Benzmüller
Is It Reasonable to Employ Agents in Automated Theorem Proving?. ICAART (1) (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Einsatz von Theorembeweisern in der Lehre. HDI (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
TPTP and Beyond: Representation of Quantified Non-Classical Logics. ARQNL@IJCAR (2016)
Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller
Effective Normalization Techniques for HOL. IJCAR (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. CoRR (2015)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. CICM (2015)
Max Wisniewski, Alexander Steen
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. ARQNL@IJCAR (2014)