Home // Research // FSTM // DCS // Members // Alexander Steen

Alexander Steen

Alexander Steen

Postdoctoral researcher

Faculty or Centre Faculty of Science, Technology and Medicine
Department Department of Computer Science
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0345-090
Email
Telephone (+352) 46 66 44 6670
Fax (+352) 46 66 44 36670
powered by
orbilu.uni.lu

In press

Full Text
See detailGoal-Directed Decision Procedures for Input/Output Logics
Steen, Alexander

in Marra, Alessandra; Liu, Fenrong; Portner, Paul; Van De Putte, Frederik (Eds.) Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021, Munich) (in press)

Full Text
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander; Benzmüller, Christoph

in Proceedings of the 24th European Conference on Artificial Intelligence (in press)

Top of Page

2020

Full Text
See detailTowards an Executable Methodology for the Formalization of Legal Texts
Libal, Tomer; Steen, Alexander

in Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020 (2020, March)

Full Text
See detailNAI: Towards Transparent and Usable Semi-Automated Legal Analysis
Libal, Tomer; Steen, Alexander

in Schweighöfer, Erich; Hötzendorfer, Walter; Kummer, Franz; Saarenpää, Ahti (Eds.) Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (2020, February 27)

See detailI/O Logic Workbench
Steen, Alexander

Software (2020)

Full Text
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander

in KI – Künstliche Intelligenz (2020), 34(1), 105-108

Full Text
See detailOn Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph

E-print/Working paper (2020)

Top of Page

2019

See detailSelected Student Contributions and Workshop Papers of LuxLogAI 2018
Benzmüller, Christoph; Parent, Xavier; Steen, Alexander

Book published by EasyChair (2019)

Full Text
See detailConsistent Rational Argumentation in Politics (CRAP)
Benzmüller, Christoph; Steen, Alexander

Poster (2019, November)

Full Text
See detailNAI: The Normative Reasoner
Libal, Tomer; Steen, Alexander

in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)

Full Text
See detailThe NAI Suite - Drafting and Reasoning over Legal Texts
Libal, Tomer; Steen, Alexander

in Araszkiewicz, Michal; Rodriguez-Doncel, Victor (Eds.) Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019 (2019)

See detailNAI – The Normative Reasoner
Libal, Tomer; Steen, Alexander

Software (2019)

Full Text
See detailProceedings of the Deduktionstreffen 2019
Schon, Claudia; Steen, Alexander

Scientific Conference (2019, September 23)

See detailRuleML+RR 2019 Doctoral Consortium and Rule Challenge
Soylu, Ahmet; Moschoyiannis, Sotiris; Governatori, Guido; Simkus, Mantas; Stefaneas, Petros; Steen, Alexander; Giurca, Adrian

Book published by CEUR-WS.org (2019)

See detailLeo-III 1.4
Steen, Alexander

Software (2019)

Full Text
See detailHigher-Order Theorem Proving and its Applications
Steen, Alexander

in IT-Information Technology (2019), 61(4), 187-191

See detailChallenges in Higher-Order Theorem Proving
Steen, Alexander

Article for general public (2019)

See detailThe Higher-Order Prover Leo-III
Steen, Alexander

Presentation (2019, April 26)

Full Text
See detailExtensional Higher-Order Paramodulation in Leo-III
Steen, Alexander; Benzmüller, Christoph

E-print/Working paper (2019)

Full Text
See detailThe Higher-Order Prover Leo-III (Extended Abstract)
Steen, Alexander; Benzmüller, Christoph

in Benzmüller, Christoph; Stuckenschmidt, Heiner (Eds.) {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (2019)

Top of Page

2018

See detailGCAI-2018. 4th Global Conference on Artificial Intelligence
Lee, Daniel; Steen, Alexander; Walsh, Toby

Book published by EasyChair (2018)

Full Text
See detailSystem Demonstration: The Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph

in CEUR Workshop Proceedings (2018), 2095

Full Text
See detailThe Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph

in Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (2018)

Top of Page

2017

Full Text
See detailLeo-III Version 1.1 (System description)
Benzmüller, Christoph; Steen, Alexander; Wisniewski, Max

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Full Text
See detailThe Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander; Wsinieswki, Max

in The 2nd World Congress on Logic and Religion -- Book of Abstracts (2017)

Full Text
See detailTheorem Provers for Every Normal Modal Logic
Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph

in Eiter, Thomas; Sands, David (Eds.) LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2017, May 04)

Full Text
See detailGoing Polymorphic - TH1 Reasoning for Leo-III
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Full Text
See detailCapability Discovery for Automated Reasoning Systems
Steen, Alexander; Wisniewski, Max; Schurr, Hans-Jörg; Benzmüller, Christoph

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Top of Page

2016

Full Text
See detailTowards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Libal, Tomer; Steen, Alexander

in Urban, Josef; Fontaine, Pascal; Schulz, Stephan (Eds.) Practical Aspects of Automated Reasoning (2016, July)

Full Text
See detailSweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph

in Logic and Logical Philosophy (2016), 25(4), 535-554

Full Text
See detailTutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in Benzmüller, Christoph; Sutcliffe, Geoff; Rojas, Raul (Eds.) GCAI 2016, 2nd Global Conference on Artificial Intelligence (2016, September 29)

Full Text
See detailAgent-Based HOL Reasoning
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in Greuel, GM; Koch, T; Paule, P; Sommese, A (Eds.) Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (2016, July)

See detailLeo-III
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

Software (2016)

Full Text
See detailTPTP and Beyond: Representation of Quantified Non-Classical Logics
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Benzmüller, Christoph; Otten, Jens (Eds.) ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (2016, December)

Full Text
See detailEinsatz von Theorembeweisern in der Lehre
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Schwill, Andreas; Lucke, Ulrike (Eds.) Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (2016)

Full Text
See detailEffective Normalization Techniques for HOL
Wisniewski, Max; Steen, Alexander; Kern, Kim; Benzmüller, Christoph

in Olivetti, Nicola; Tiwari, Ashish (Eds.) Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (2016, June)

Top of Page

2015

Full Text
See detailComputational Metaphysics
Benzmüller, Christoph; Wisniewski, Max; Steen, Alexander

Report (2015)

Full Text
See detailThere Is No Best Beta-Normalization Strategy for Higher-Order Reasoners
Steen, Alexander; Benzmüller, Christoph

in Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (Eds.) Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (2015, November)

Full Text
See detailEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Wisniewski, Max; Steen, Alexander

in Benzmüller, Christpoh; Otten, Jens (Eds.) ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (2015, December)

Full Text
See detailLeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker (Eds.) Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (2015, June)

Top of Page

2014

Full Text
See detailThe Leo-III Project
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Bolotov, Alexander; Kerber, Manfred (Eds.) Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 (2014)

Top of Page

2013

Top of Page