Automated Reasoning in Non-classical Logics in the TPTP World




Faculty/Professorship: AI Systems Engineering 
Author(s): Steen, Alexander; Fuenmayor Pelaez, David  ; Gleißner, Tobias; Sutcliffe, Geoff; Benzmüller, Christoph  
Publisher Information: arXiv
Year of publication: 2022
Pages: 21
Language(s): English
DOI: 10.48550/ARXIV.2202.09836
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/54664
Release Date: 14. July 2022