25 citations · 39 across the 12 of their papers we have counts for
12 papers
Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic
Melanie Taprogge, Frédéric Blanqui, Alexander Steen
We identify common challenges and requirements for verifying proofs from automated theorem provers in the Dedukti logical framework and develop a general methodology for deriving e…
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
Antoine Martina, Alexander Steen
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are for…
Solving Quantified Modal Logic Problems by Translation to Classical Logics
Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the probl…
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Alexander Steen, David Fuenmayor
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-pur…
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Alexander Steen
The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing numbe…
Automated Reasoning in Non-classical Logics in the TPTP World
Alexander Steen, David Fuenmayor, Tobias Gleißner +2
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastruct…