Extensional Higher-Order Paramodulation in Leo-III

v1v2 (latest)

Extensional Higher-Order Paramodulation in Leo-III

26 July 2019

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Extensional Higher-Order Paramodulation in Leo-III"

8 / 8 papers shown

Title
Experiments with Choice in Dependently-Typed Higher-Order Logic Daniel Ranalter C. Brown C. Kaliszyk 24 0 0 11 Oct 2024
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic Antoine Martina Alexander Steen AI4CE 16 0 0 08 Dec 2023
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint Colin Rothgang Florian Rabe Christoph Benzmüller 21 1 0 24 May 2023
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) A. Steen D. Fuenmayor 104 1 0 12 Sep 2022
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning A. Steen LRM 74 7 0 23 Mar 2022
Automated Reasoning in Non-classical Logics in the TPTP World A. Steen D. Fuenmayor Tobias Gleißner G. Sutcliffe Christoph Benzmüller LRM 30 8 0 20 Feb 2022
A Formalisation of Abstract Argumentation in Higher-Order Logic A. Steen D. Fuenmayor 15 1 0 18 Oct 2021
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 78 5 0 25 Mar 2019