Alexander Steen

CoRR, 2023

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Flexible Automation of Quantified Multi-Modal Logics with Interactions.

[BibT_eX]

[DOI]

Melanie Taprogge

Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023

Solving Modal Logic Problems by Translation to Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

Solving QMLTP Problems by Translation to Higher-order Logic.

[BibT_eX]

[DOI]

CoRR, 2022

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).

[BibT_eX]

[DOI]

David Fuenmayor

CoRR, 2022

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.

[BibT_eX]

[DOI]

CoRR, 2022

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2022

Automation of Boolos' Curious Inference in Isabelle/HOL.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.

[BibT_eX]

[DOI]

David Fuenmayor

Proceedings of the Rules and Reasoning, 2022

Automated Reasoning in Non-classical Logics in the TPTP World.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper).

[BibT_eX]

[DOI]

2021

Leo-III - A Theorem Prover for Higher-Order Logic.

[BibT_eX]

[DOI]

Christoph Benzmueller

Dataset, January, 2021

Extensional Higher-Order Paramodulation in Leo-III.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

A Formalisation of Abstract Argumentation in Higher-Order Logic.

[BibT_eX]

[DOI]

David Fuenmayor

CoRR, 2021

Goal-Directed Decision Procedures for Input/Output Logics.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Leo-III 1.5 - A Theorem Prover for Higher-Order Logic.

[BibT_eX]

[DOI]

Christoph Benzmueller

Dataset, October, 2020

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

On Reductions of Hintikka Sets for Higher-Order Logic.

[BibT_eX]

[DOI]

CoRR, 2020

The Higher-Order Prover Leo-III.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Towards an Executable Methodology for the Formalization of Legal Texts.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Higher-order theorem proving and its applications.

[BibT_eX]

[DOI]

it Inf. Technol., 2019

The Higher-Order Prover Leo-III (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

The NAI Suite - Drafting and Reasoning over Legal Texts.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2019

NAI: The Normative Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

2018

Extensional paramodulation for higher-order logic and its effective implementation Leo-III.

[BibT_eX]

[DOI]

PhD thesis, 2018

The MET: The Art of Flexible Reasoning with Modalities.

[BibT_eX]

[DOI]

Tobias Gleißner

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

System Demonstration: The Higher-Order Prover Leo-III.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Capability Discovery for Automated Reasoning Systems.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Going Polymorphic - TH1 Reasoning for Leo-III.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Theorem Provers For Every Normal Modal Logic.

[BibT_eX]

[DOI]

Tobias Gleißner

Proceedings of the LPAR-21, 2017

Leo-III Version 1.1 (System description).

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Einsatz von Theorembeweisern in der Lehre.

[BibT_eX]

Proceedings of the Hochschuldidaktik der Informatik, 2016

Agent-Based HOL Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Effective Normalization Techniques for HOL.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

TPTP and Beyond: Representation of Quantified Non-Classical Logics.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners.

[BibT_eX]

[DOI]