Max Wisniewski

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