research
∙
09/12/2022
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
LegalRuleML is a comprehensive XML-based representation framework for mo...
share
research
∙
08/14/2022
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
This paper reports on an exploration of variants of Boolos' curious infe...
research
∙
02/20/2022
Automated Reasoning in Non-classical Logics in the TPTP World
Non-classical logics are used in a wide spectrum of disciplines, includi...
research
∙
10/18/2021
A Formalisation of Abstract Argumentation in Higher-Order Logic
We present an approach for representing abstract argumentation framework...
research
∙
04/09/2021
Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL
We encode a topological semantics for paraconsistent and paracomplete lo...
research
∙
07/02/2020
Higher-order Logic as Lingua Franca – Integrating Argumentative Discourse and Deep Logical Analysis
We present an approach towards the deep, pluralistic logical analysis of...
research
∙
06/23/2020
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
Enabling machines to legal balancing is a non-trivial task challenged by...
research
∙
10/20/2019
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Three variants of Kurt Gödel's ontological argument, as proposed byDana ...
research
∙
06/15/2019
A Computational-Hermeneutic Approach for Conceptual Explicitation
We present a computer-supported approach for the logical analysis and co...
research
∙
03/23/2019