About

I am a research assistant and doctoral student at Freie Universität Berlin in the artificial intelligence group.

Currently I am working mainly on the Leo-III project. Our goal is to develop a new Higher-Order Theorem Prover based on heavily use of parallelism. I investigate and evaluate whether an agent-based approach can be beneficial to theorem proving on various levels of the proof process.

In my free time I lend my voice to the bass of the Schola Vocalis Ave Florum Flos.

Projects

Ongoing projects:

• Leo-III
• Embedding of Nominal Logic into Higher-Order Logic

Publications

1. Alexander Steen, Max Wisniewski, Christoph Benzmüller Going Polymorphic - TH1 Reasoning for Leo-III, In Stephan Schulz, Geoff Sutcliffe, Josef Urban (Eds.), 12th International Workshop on the Implementation of Logics, EasyChair, EPiC Series in Computing, 2017. (To appear)
2. Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller Capability Discovery for Automated Reasoning Systems, In Stephan Schulz, Geoff Sutcliffe, Josef Urban (Eds.), 12th International Workshop on the Implementation of Logics, EasyChair, EPiC Series in Computing, 2017. (To appear)
3. Christoph Benzmüller, Alexander Steen, Max Wisniewski Leo-III Version 1.1 (System description), In Thomas Eiter, David Sands (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) -- Short Presentations, EasyChair, Kalpa Publications, 2017. (To appear)
4. David Fuenmayor, Christoph Benzmüller, Alexander Steen, Max Wisniewski, Computer-assisted Assessment of Lowe's Modal Ontological Argument, In Stanislaw Krajewski, Piotr Balcerowicz (Eds.), Handbook of the 2nd World Congress on Logic and Religion, Warsaw, Poland, 2017.
5. Alexander Steen, Max Wisniewski, Christoph Benzmüller, Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. In Christoph Benzüller, Raul Rojas, Geoff Sutcliffe (Eds.), Second Global Conference on Artificial Intelligence (GCAI), Proceedings, EasyChair, EPiC Series in Computing, Volume 41, pp. 1-10, 2016.
6. Max Wisniewski, Alexander Steen, Christoph Benzmüller, TPTP and Beyond: Representation of Quantified Non-Classical Logics. In 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARNQL 2016), Coimbra, Portugal, July 2016, Proceedings, EasyChair, EasyChair Proceedings in Computing.
7. Alexander Steen, Max Wisniewski, Christoph Benzmüller, Einsatz von Theorembeweisern in der Lehre. In 7. Fachtagung für Hochschuldidaktik der Informatik, Commentarii Informaticae Didacticae, Universitätsverlag Potsdam, 2016.
8. Alexander Steen, Max Wisniewski, Christoph Benzmüller, Agent-Based HOL Reasoning. In 5th International Congress on Mathematical Software, ICMS 2016, Berlin, Germany, July 2016, Proceedings, Springer, LNCS. Accepted for publication.
9. Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller, Effective Normalization Techniques for HOL. In Nicola Olivetti, Ashish Tiwari (Eds.), 8th International Joint Conference on Automated Reasoning, IJCAR 2016, Coimbra, Portugal, 27 June - 2 July, 2016, Proceedings. Springer, LNCS, 2016.
10. Max Wisniewski, Christoph Benzmüller, Is it Reasonable to Employ Agents in Theorem Proving? In Proc. of the 8th International Conference on Agents and Artificial Intelligence (ICAART), SciTePress Digital Library, 2016.
11. Max Wisniewski, Agents and Organization in a Higher-Order Theorem Prover(Poster), Deduktionstreffen 2015, 2015 Berlin, Germany, 2015.
12. Max Wisniewski, Alexander Steen, Christoph Benzmüller, LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners, In Mafred Kerber, Jacque Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (Eds.), Intelligent Computer Mathematics - International Conference. CICM 2015, Washington DC., USA, Juliy 13-17. 2015, Proceedings Springer, LNCS, volume 9150, pp. 325--330, 2015
13. Alexander Steen, Max Wisniewski, Embedding of First-Order Nominal Logic into HOL. In Jean-Yves Beziau, Safak Ural, Arthur Buchsbaum, Iskender Tasdelen, Vedat Kamer (Eds.), Handbook of the 5th World Congress and School on Universal Logic (UNILOG'15), Istanbul, Turkey, pp. 337--339, 2015.
14. Max Wisniewski, Multiagent Blackboard Architexture for Automated Theorem Proving in Expressive Higher Order Logic. Master Thesis, Freie Universität Berlin, 2014.
15. Max Wisniewski, Alexander Steen, Christoph Benmüller, The Leo-III Project. In Alexander Bolotov, Manfred Kerber (Eds.), Joint Automated Reasoning Workshop and Deduktionstreffen 2014.
16. Max Wisniewski, Alexander Steen, Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. In Christoph Benzmüller, Jens Otten (Eds.), Automated Reasoning in Quantified Non-Classical Logics, Proceedings of the 1st international Workshop, Vienna, Austria, 2014.
17. Max Wisniewski, Expression Evaluation in a Concurrent Programming Language Using a SMT-Solver , Bachelor Thesis, Freie Universität Berlin, 2012.

Teaching

1. Winter 16/17: Seminar on Higher-Order Theorem Proving, 5 ECTS, Instructor
2. Summer 16: Künstliche Intelligenz (artificial intelligence), 5 ECTS, Tutorial sessions
3. Summer 16: Computational Metaphysics Instructor
4. Winter 15/16: Programmieren (Programming), Lecturer
5. Summer 15: Proseminar Logik, Instructor
6. Winter 14/15: Programmieren in Java (Java programming course), Lecturer
7. Winter 14/15: Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten (Software project), Instructor
8. Winter 14/15: Expressive Logiken -- Theorie, Mechanisierung, Anwendung (Theory, Automatization and Application of Expressive Logics), Tutorial session.
9. Winter 13/14: ALP I: Funktionale Programmierung (funktional programming), Tutorial session
10. Summer 13: ALP IV: Nichtsequentielle Programmierung (concurrent programming), Tutorial session.
11. Winter 12/13: ALP III: Datenstrukturen und Abstraktion (datastructures and abstraction) Tutorial session
12. Summer 12: ALP IV: Nichtsequentielle Programmierung (concurrent programming), Tutorial session.
13. Winter 11/12: ALP III: Datenstrukturen und Abstraktion (datastructures and abstraction) Tutorial session
14. Summer 11: ALP IV: Nichtsequentielle Programmierung (concurrent programming), Tutorial session.
15. Winter 10/11: ALP III: Datenstrukturen und Abstraktion (datastructures and abstraction) Tutorial session
16. Summer 10: ALP II: Object orientierte Programmierung (object based programming), Tutorial session.

⇓Full list⇓

Further Links

• GitHub project visualizing three- and four-dimensional point groups.
• Vokalschola "ave florum flos"
• St. Paulus Chor Moabit