TPTP World Infrastructure for Non-classical Logics.

Alexander Steen Geoff Sutcliffe

Published in: PAAR+SC²@IJCAR (2024)

Keyphrases

automated theorem proving
theorem prover
data sets
data collection
social networks
multi agent systems
theorem proving
computer vision
data structure