Alexander Steen

Alexander Steen

Postdoctoral researcher

Faculty or Centre Faculty of Science, Technology and Communication
Research Unit RU CSC
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