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

Alexander Steen

Alexander Steen

Postdoctoral researcher

Faculty or Centre Faculty of Science, Technology and Medicine
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 detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander

in KI – Künstliche Intelligenz (in press)

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 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 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)

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)

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 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