3 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
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…