Max Wisniewski

According to our database, Max Wisniewski authored at least 11 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Capability Discovery for Automated Reasoning Systems.

Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Going Polymorphic - TH1 Reasoning for Leo-III.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Leo-III Version 1.1 (System description).

Christoph Benzmüller, Alexander Steen, Max Wisniewski

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Einsatz von Theorembeweisern in der Lehre.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the Hochschuldidaktik der Informatik, 2016

Agent-Based HOL Reasoning.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the Mathematical Software - ICMS 2016, 2016

Is It Reasonable to Employ Agents in Automated Theorem Proving?.

Max Wisniewski, Christoph Benzmüller

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Effective Normalization Techniques for HOL.

Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

TPTP and Beyond: Representation of Quantified Non-Classical Logics.

Max Wisniewski, Alexander Steen, Christoph Benzmüller

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

2015

LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners.

Max Wisniewski, Alexander Steen, Christoph Benzmüller

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.

Max Wisniewski, Alexander Steen

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014