Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2508.09318
Cited By
TPTP World Infrastructure for Non-classical Logics
12 August 2025
A. Steen
G. Sutcliffe
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"TPTP World Infrastructure for Non-classical Logics"
1 / 1 papers shown
Title
A Reduction of Input/Output Logics to SAT
Alexander Steen
12
0
0
22 Aug 2025
1
