The higher-order prover Leo-III A Steen, C Benzmüller Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 88 | 2018 |
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 | 46 | 2017 |
Extensional higher-order paramodulation in Leo-III A Steen, C Benzmüller Journal of Automated Reasoning 65 (6), 775-807, 2021 | 45 | 2021 |
Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III A Steen Dissertations in Artificial Intelligence (DISKI) 345, 244, 2018 | 35 | 2018 |
Agent-based HOL reasoning A Steen, M Wisniewski, C Benzmüller Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 23 | 2016 |
Sweet SIXTEEN: Automation via embedding into classical higher-order logic A Steen, C Benzmüller Logic and Logical Philosophy 25 (4), 535-554, 2016 | 22 | 2016 |
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 | 21 | 2015 |
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 | 18 | 2020 |
TPTP and beyond: Representation of quantified non-classical logics M Wisniewski, A Steen, C Benzmüller 2nd International Workshop on Automated Reasoning in Quantified Non …, 2016 | 18 | 2016 |
NAI: the normative reasoner T Libal, A Steen Proceedings of the Seventeenth International Conference on Artificial …, 2019 | 15 | 2019 |
Effective normalization techniques for HOL M Wisniewski, A Steen, K Kern, C Benzmüller Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 15 | 2016 |
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. M Wisniewski, A Steen ARQNL@ IJCAR, 59-64, 2014 | 14 | 2014 |
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 | 13 | 2022 |
The Leo-III project M Wisniewski, A Steen, C Benzmüller Joint Automated Reasoning Workshop and Deduktionstreffen, 38, 2014 | 13 | 2014 |
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 | 12 | 2016 |
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 | 11 | 2018 |
Leo-III version 1.1 (system description) C Benzmüller, A Steen, M Wisniewski IWIL Workshop and LPAR Short Presentations, 2017 | 11 | 2017 |
Towards an executable methodology for the formalization of legal texts T Libal, A Steen Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020 | 10 | 2020 |
The NAI suite–drafting and reasoning over legal texts T Libal, A Steen Legal Knowledge and Information Systems, 243-246, 2019 | 9 | 2019 |
Einsatz von Theorembeweisern in der Lehre A Steen, M Wisniewski, C Benzmüller Commentarii informaticae didacticae (CID), 81-92, 2016 | 9 | 2016 |