Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2203.12352
Cited By
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
23 March 2022
A. Steen
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"
4 / 4 papers shown
TPTP World Infrastructure for Non-classical Logics
A. Steen
G. Sutcliffe
72
1
0
12 Aug 2025
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
Colin Rothgang
Florian Rabe
Christoph Benzmüller
66
1
0
24 May 2023
Solving Quantified Modal Logic Problems by Translation to Classical Logics
A. Steen
G. Sutcliffe
Christoph Benzmüller
LRM
105
3
0
19 Dec 2022
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
A. Steen
D. Fuenmayor
175
2
0
12 Sep 2022
1
Page 1 of 1
