Follow
Alexander Steen
Title
Cited by
Cited by
Year
The higher-order prover Leo-III
A Steen, C Benzmüller
International Joint Conference on Automated Reasoning, 108-116, 2018
702018
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
362017
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
232015
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
A Steen
Dissertations in Artificial Intelligence (DISKI) 345, 244, 2018
222018
Agent-based HOL reasoning
A Steen, M Wisniewski, C Benzmüller
International Congress on Mathematical Software, 75-81, 2016
222016
Extensional higher-order paramodulation in Leo-III
A Steen, C Benzmüller
Journal of Automated Reasoning 65 (6), 775-807, 2021
192021
Sweet SIXTEEN: Automation via embedding into classical higher-order logic
A Steen, C Benzmüller
Logic and Logical Philosophy 25 (4), 535-554, 2016
192016
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
162016
The Leo-III Project
M Wisniewski, A Steen, C Benzmüller
Joint Automated Reasoning Workshop and Deduktionstreffen, 38, 2014
142014
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.
M Wisniewski, A Steen
ARQNL@ IJCAR, 59-64, 2014
142014
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
122020
NAI: the normative reasoner
T Libal, A Steen
Proceedings of the Seventeenth International Conference on Artificial …, 2019
122019
Effective normalization techniques for HOL
M Wisniewski, A Steen, K Kern, C Benzmüller
International Joint Conference on Automated Reasoning, 362-370, 2016
122016
Leo-III version 1.1 (system description)
C Benzmüller, A Steen, M Wisniewski
IWIL Workshop and LPAR Short Presentations, 16, 2017
102017
Towards a substitution tree based index for higher-order resolution theorem provers
T Libal, A Steen
Practical Aspects of Automated Reasoning, 82-94, 2016
102016
The MET: The art of flexible reasoning with modalities
T Gleißner, A Steen
International Joint Conference on Rules and Reasoning, 274-284, 2018
92018
Einsatz von Theorembeweisern in der Lehre
A Steen, M Wisniewski, C Benzmüller
Commentarii informaticae didacticae (CID), 81-92, 2016
82016
The NAI Suite-Drafting and Reasoning over Legal Texts.
T Libal, A Steen
JURIX, 243-246, 2019
72019
Going polymorphic-TH1 reasoning for Leo-III
A Steen, M Wisniewski, C Benzmüller
IWIL Workshop and LPAR Short Presentations, 13, 2017
72017
Towards an executable methodology for the formalization of legal texts
T Libal, A Steen
International Conference on Logic and Argumentation, 151-165, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20