Alexander Steen

Alexander Steen

Postdoctoral researcher

Faculté ou Centre Faculty of Science, Technology and Communication
Unité de recherche RU CSC
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0345-090
E-mail
Téléphone (+352) 46 66 44 6670
Fax (+352) 46 66 44 36670
powered by
orbilu.uni.lu

Sous presse

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

in IT-Information Technology (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)

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)

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

Software (2016)

Top of Page