Picture for Alexander Steen

Alexander Steen

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Add code
Dec 08, 2023
Viaarxiv icon

Solving QMLTP Problems by Translation to Higher-order Logic

Add code
Dec 19, 2022
Viaarxiv icon

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

Add code
Sep 12, 2022
Figure 1 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 2 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 3 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 4 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Viaarxiv icon

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

Add code
Aug 22, 2022
Viaarxiv icon

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

Add code
Mar 23, 2022
Figure 1 for An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Figure 2 for An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Viaarxiv icon

Automated Reasoning in Non-classical Logics in the TPTP World

Add code
Feb 20, 2022
Figure 1 for Automated Reasoning in Non-classical Logics in the TPTP World
Viaarxiv icon

A Formalisation of Abstract Argumentation in Higher-Order Logic

Add code
Oct 18, 2021
Figure 1 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 2 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 3 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 4 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Viaarxiv icon

On Reductions of Hintikka Sets for Higher-Order Logic

Add code
Apr 16, 2020
Viaarxiv icon

The NAI Suite -- Drafting and Reasoning over Legal Texts

Add code
Oct 15, 2019
Figure 1 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 2 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 3 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 4 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Viaarxiv icon

Extensional Higher-Order Paramodulation in Leo-III

Add code
Jul 26, 2019
Figure 1 for Extensional Higher-Order Paramodulation in Leo-III
Figure 2 for Extensional Higher-Order Paramodulation in Leo-III
Figure 3 for Extensional Higher-Order Paramodulation in Leo-III
Figure 4 for Extensional Higher-Order Paramodulation in Leo-III
Viaarxiv icon