Search Results for author:
Found 8 papers, 2 papers with code
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules.
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 Boolos' Curious Inference, using higher-order automated theorem provers (ATPs).
Automated Reasoning in Non-classical Logics in the TPTP World
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy.
A Formalisation of Abstract Argumentation in Higher-Order Logic
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic.
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technology for classical higher-order logic.
Modelling Value-oriented Legal Reasoning in LogiKEy
The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences.
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Three variants of Kurt G\"odel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer.
A Computational-Hermeneutic Approach for Conceptual Explicitation
At the next layer we select among those correct formalizations the ones which honor the argument's dialectic role, i. e. attacking or supporting other arguments as intended.
