Follow
Alexander Steen
Title
Cited by
Cited by
Year
The higher-order prover Leo-III
A Steen, C Benzmüller
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
902018
Extensional higher-order paramodulation in Leo-III
A Steen, C Benzmüller
Journal of Automated Reasoning 65 (6), 775-807, 2021
432021
Theorem provers for every normal modal logic
T Gleißner, A Steen, C Benzmüller
LPAR-21. 21st International Conference on Logic for Programming, Artificial …, 2017
432017
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
A Steen
Dissertations in Artificial Intelligence (DISKI) 345, 244, 2018
332018
Agent-based HOL reasoning
A Steen, M Wisniewski, C Benzmüller
Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016
232016
Sweet SIXTEEN: Automation via embedding into classical higher-order logic
A Steen, C Benzmüller
Logic and Logical Philosophy 25 (4), 535-554, 2016
212016
LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
M Wisniewski, A Steen, C Benzmüller
International Conference on Intelligent Computer Mathematics, 325-330, 2015
212015
TPTP and beyond: Representation of quantified non-classical logics
M Wisniewski, A Steen, C Benzmüller
ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics, 51-65, 2016
182016
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
C Benzmüller, A Farjami, D Fuenmayor, P Meder, X Parent, A Steen, ...
Data in Brief 33, 106409, 2020
172020
NAI: the normative reasoner
T Libal, A Steen
Proceedings of the Seventeenth International Conference on Artificial …, 2019
152019
Effective normalization techniques for HOL
M Wisniewski, A Steen, K Kern, C Benzmüller
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
152016
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.
M Wisniewski, A Steen
ARQNL@ IJCAR, 59-64, 2014
142014
The Leo-III Project
M Wisniewski, A Steen, C Benzmüller
Joint Automated Reasoning Workshop and Deduktionstreffen, 38, 2014
132014
Leo-III version 1.1 (system description)
C Benzmüller, A Steen, M Wisniewski
IWIL Workshop and LPAR Short Presentations, 2017
112017
Towards a substitution tree based index for higher-order resolution theorem provers
T Libal, A Steen
5th Workshop on Practical Aspects of Automated Reasoning, 2016
112016
Towards an executable methodology for the formalization of legal texts
T Libal, A Steen
Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020
102020
The MET: the art of flexible reasoning with modalities
T Gleißner, A Steen
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
102018
Automated reasoning in non-classical logics in the TPTP world
A Steen, D Fuenmayor, T Gleißner, G Sutcliffe, C Benzmüller
arXiv preprint arXiv:2202.09836, 2022
92022
The NAI Suite-Drafting and Reasoning over Legal Texts.
T Libal, A Steen
JURIX, 243-246, 2019
92019
Einsatz von Theorembeweisern in der Lehre
A Steen, M Wisniewski, C Benzmüller
Commentarii informaticae didacticae (CID), 81-92, 2016
92016
The system can't perform the operation now. Try again later.
Articles 1–20