Profil

STEEN Alexander

Main Referenced Co-authors
BENZMÜLLER, Christoph  (26)
Wisniewski, Max (13)
LIBAL, Tomer  (7)
FUENMAYOR PELAEZ, David  (2)
PARENT, Xavier  (2)
Main Referenced Keywords
Automated Reasoning (23); Higher Order Logic (14); Higher-Order Logic (9); LEO Prover (9); Automated Theorem Proving (8);
Main Referenced Unit & Research Centers
Dahlem Center for Machine Learning and Robotics, Freie Universität Berlin (1)
Main Referenced Disciplines
Computer science (54)
Law, criminology & political science: Multidisciplinary, general & others (5)
Philosophy & ethics (2)
Religion & theology (1)
Arts & humanities: Multidisciplinary, general & others (1)

Publications (total 54)

The most downloaded
545 downloads
Schon, C., & Steen, A. (23 September 2019). Proceedings of the Deduktionstreffen 2019 [Paper presentation]. Deduktionstreffen 2019, Kassel, Germany. https://hdl.handle.net/10993/40537

The most cited

44 citations (Scopus®)

Steen, A., & Benzmüller, C. (2018). The Higher-Order Prover Leo-III. 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 (pp. 108-116). Springer, Cham. doi:10.1007/978-3-319-94205-6_8 https://hdl.handle.net/10993/37461

Adrian, A., Rapp, M., & Steen, A. (In press). Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter juristischer Entscheidungen. In Recht DIGITAL – 25 Jahre IRIS, Proceedings of the International Legal Informatics Symposium (IRIS 2022). doi:10.38023/422931A8-AB08-485D-AE32-F3E92B2F1B7A
Peer reviewed

Nalon, C., & Steen, A. (November 2021). Guest Column: It is dark before dawn. Association for Automated Reasoning Newsletter, 136.

Steen, A., & Fuenmayor Pelaez, D. (2021). A Formalisation of Abstract Argumentation in Higher-Order Logic. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48438.

Steen, A., & Benzmüller, C. (27 March 2021). Extensional Higher-Order Paramodulation in Leo-III. Journal of Automated Reasoning, 65, 775-807. doi:10.1007/s10817-021-09588-x
Peer Reviewed verified by ORBi

Steen, A. (2021). rio: Reasoner for Input/Output Logics. doi:10.5281/zenodo.4540273

Steen, A. (2021). scala-tptp-parser. doi:10.5281/zenodo.4468958

Fuenmayor Pelaez, D., & Steen, A. (2021). A Flexible Approach to Argumentation Framework Analysis using Theorem Proving. In First International Workshop on Logics for New-Generation Artificial Intelligence (pp. 18-32). London, United Kingdom: College Publications.
Peer reviewed

Steen, A. (2021). Goal-Directed Decision Procedures for Input/Output Logics. In A. Marra, F. Liu, P. Portner, ... F. Van De Putte (Eds.), Deontic Logic and Normative Systems: 15th International Conference (DEON 2020/2021). London, Unknown/unspecified: College Publications.
Peer reviewed

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Steen, A., & Benzmüller, C. (2020). The Higher-Order Prover Leo-III (Highlight paper). In Proceedings of the 24th European Conference on Artificial Intelligence (pp. 2937-2938). IOS Press. doi:10.3233/FAIA200462
Peer reviewed

Steen, A. (2020). Leo-III 1.5. doi:10.5281/zenodo.4435995

Libal, T., & Steen, A. (May 2020). NAI: Towards Transparent and Usable Semi-Automated Legal Analysis. Jusletter IT, 27 Mai 2020. doi:10.38023/2eb63e02-f13e-45f5-9a7b-d7fe55e42c6c
Peer reviewed

Steen, A. (2020). I/O Logic Workbench. doi:10.5281/zenodo.4435991

Steen, A., & Benzmüller, C. (2020). On Reductions of Hintikka Sets for Higher-Order Logic. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/43235.

Libal, T., & Steen, A. (2020). Towards an Executable Methodology for the Formalization of Legal Texts. In M. Dastani, H. Dong, ... L. van der Torre (Eds.), Logic and Argumentation. CLAR 2020 (pp. 151-165). Cham, Switzerland: Springer. doi:10.1007/978-3-030-44638-3_10
Peer reviewed

Libal, T., & Steen, A. (2020). NAI: Towards Transparent and Usable Semi-Automated Legal Analysis. In E. Schweighöfer, W. Hötzendorfer, F. Kummer, ... A. Saarenpää (Eds.), Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (pp. 265-272). Switzerland: Editions Weblaw.
Peer reviewed

Steen, A. (2020). Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III. KI – Künstliche Intelligenz, 34 (1), 105-108. doi:10.1007/s13218-019-00628-8
Peer reviewed

Benzmüller, C., & Steen, A. (November 2019). Consistent Rational Argumentation in Politics (CRAP) [Poster presentation]. Forum Experiment!, Hannover, Germany.

Steen, A. (2019). Leo-III 1.4.

Schon, C., & Steen, A. (23 September 2019). Proceedings of the Deduktionstreffen 2019 [Paper presentation]. Deduktionstreffen 2019, Kassel, Germany.

Soylu, A., Moschoyiannis, S., Governatori, G., Simkus, M., Stefaneas, P., Steen, A., & Giurca, A. (Eds.). (2019). RuleML+RR 2019 Doctoral Consortium and Rule Challenge. CEUR-WS.org.

Steen, A. (August 2019). Higher-Order Theorem Proving and its Applications. IT-Information Technology, 61 (4), 187-191. doi:10.1515/itit-2019-0001
Peer Reviewed verified by ORBi

Steen, A. (July 2019). Challenges in Higher-Order Theorem Proving. Association for Automated Reasoning, Newsletter, 128.

Benzmüller, C., Parent, X., & Steen, A. (Eds.). (2019). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. EasyChair.

Steen, A. (26 April 2019). The Higher-Order Prover Leo-III [Paper presentation]. Invited talk, Menlo Park, CA, United States.

Libal, T., & Steen, A. (2019). The NAI Suite - Drafting and Reasoning over Legal Texts. In M. Araszkiewicz & V. Rodriguez-Doncel (Eds.), Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019 (pp. 243-246). IOS. doi:10.3233/FAIA190333
Peer reviewed

Libal, T., & Steen, A. (2019). NAI – The Normative Reasoner.

Steen, A., & Benzmüller, C. (2019). The Higher-Order Prover Leo-III (Extended Abstract). In C. Benzmüller & H. Stuckenschmidt (Eds.), {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (pp. 333-337). Springer. doi:10.1007/978-3-030-30179-8_30
Peer reviewed

Libal, T., & Steen, A. (2019). NAI: The Normative Reasoner. In F. Bex (Ed.), Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (pp. 262-263). ACM.
Peer reviewed

Steen, A., & Benzmüller, C. (2019). Extensional Higher-Order Paramodulation in Leo-III. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/40691.

Steen, A. (2018). Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III. Germany: AKA-Verlag.

Lee, D., Steen, A., & Walsh, T. (Eds.). (2018). GCAI-2018. 4th Global Conference on Artificial Intelligence. EasyChair.

Steen, A., & Benzmüller, C. (2018). The Higher-Order Prover Leo-III. 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 (pp. 108-116). Springer, Cham. doi:10.1007/978-3-319-94205-6_8
Peer reviewed

Steen, A., & Benzmüller, C. (2018). System Demonstration: The Higher-Order Prover Leo-III. CEUR Workshop Proceedings, 2095.
Peer Reviewed verified by ORBi

Benzmüller, C., Steen, A., & Wisniewski, M. (2017). Leo-III Version 1.1 (System description). In IWIL Workshop and LPAR Short Presentations (pp. 16). Manchester, United Kingdom: EasyChair.
Peer reviewed

Steen, A., Wisniewski, M., & Benzmüller, C. (2017). Going Polymorphic - TH1 Reasoning for Leo-III. In IWIL Workshop and LPAR Short Presentations (pp. 13). Maun, Botswana, Unknown/unspecified: EasyChair.
Peer reviewed

Steen, A., Wisniewski, M., Schurr, H.-J., & Benzmüller, C. (2017). Capability Discovery for Automated Reasoning Systems. In IWIL Workshop and LPAR Short Presentations (pp. 6). Maun, Botswana, Unknown/unspecified: EasyChair.
Peer reviewed

Gleißner, T., Steen, A., & Benzmüller, C. (2017). Theorem Provers for Every Normal Modal Logic. In T. Eiter & D. Sands (Eds.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 14-30). Manchester, United Kingdom: EasyChair.
Peer reviewed

Fuenmayor, D., Benzmüller, C., Steen, A., & Wsinieswki, M. (2017). The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument. In The 2nd World Congress on Logic and Religion -- Book of Abstracts (pp. 18). Warsaw, Poland: Instytut Filozofii Uniwersytetu Warszawskiego.
Peer reviewed

Wisniewski, M., Steen, A., & Benzmüller, C. (2016). TPTP and Beyond: Representation of Quantified Non-Classical Logics. In C. Benzmüller & J. Otten (Eds.), ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (pp. 51-65). CEUR-WS.org.
Peer reviewed

Steen, A., Wisniewski, M., & Benzmüller, C. (2016). Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. In C. Benzmüller, G. Sutcliffe, ... R. Rojas (Eds.), GCAI 2016, 2nd Global Conference on Artificial Intelligence (pp. 1-10). Berlin,, Germany: EasyChair. doi:10.29007/4dsr
Peer reviewed

Libal, T., & Steen, A. (2016). Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. In J. Urban, P. Fontaine (Ed.), ... S. Schulz (Ed.), Practical Aspects of Automated Reasoning (pp. 82-94). CEUR-WS.org.
Peer reviewed

Steen, A., Wisniewski, M., & Benzmüller, C. (2016). Agent-Based HOL Reasoning. In G. Greuel, T. Koch, P. Paule, ... A. Sommese (Eds.), Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (pp. 75-81). Berlin, Germany, Unknown/unspecified: Springer. doi:10.1007/978-3-319-42432-3_10
Peer reviewed

Wisniewski, M., Steen, A., Kern, K., & Benzmüller, C. (2016). Effective Normalization Techniques for HOL. In N. Olivetti & A. Tiwari (Eds.), Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (pp. 362-370). Springer. doi:10.1007/978-3-319-40229-1_25
Peer reviewed

Steen, A., Wisniewski, M., & Benzmüller, C. (2016). Leo-III.

Wisniewski, M., Steen, A., & Benzmüller, C. (2016). Einsatz von Theorembeweisern in der Lehre. In A. Schwill & U. Lucke (Eds.), Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (pp. 81-92). Potsdam, Germany: Universitätsverlag Potsdam.
Peer reviewed

Steen, A., & Benzmüller, C. (2016). Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. Logic and Logical Philosophy, 25 (4), 535-554. doi:10.12775/LLP.2016.021
Peer Reviewed verified by ORBi

Wisniewski, M., & Steen, A. (2015). Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. In C. Benzmüller & J. Otten (Eds.), ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (pp. 59-64). EasyChair. doi:10.29007/dzc2
Peer reviewed

Steen, A., & Benzmüller, C. (2015). There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners. In M. Davis, A. Fehnker, A. McIver, ... A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (pp. 329-339). Suva, Fiji, Unknown/unspecified: Springer. doi:10.1007/978-3-662-48899-7_23
Peer reviewed

Wisniewski, M., Steen, A., & Benzmüller, C. (2015). LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. In M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, ... V. Sorge (Eds.), Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (pp. 325--330). Springer. doi:10.1007/978-3-319-20615-8_22
Peer reviewed

Benzmüller, C., Wisniewski, M., & Steen, A. (2015). Computational Metaphysics.

Steen, A. (2014). Efficient Data Structures for Automated Theorem Proving in Expressive Higher-Order Logics [Bachelor/master dissertation, FU Berlin - Freie Universität Berlin]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/42694

Wisniewski, M., Steen, A., & Benzmüller, C. (2014). The Leo-III Project. In A. Bolotov & M. Kerber (Eds.), Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 (pp. 38).
Peer reviewed

Steen, A. (2013). Generation and State-Space Reduction of Program Graphs for Non-deterministic Programs [Bachelor/master dissertation, FU Berlin - Freie Universität Berlin]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/42693

Contact ORBilu