Automated Reasoning in Non-classical Logics in the TPTP World

Faculty/Professorship: AI Systems Engineering 
Author(s): Steen, Alexander; Fuenmayor, David  ; Gleißner, Tobias; Sutcliffe, Geoff; Benzmüller, Christoph  
Title of the compilation: Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022
Title of the Journal: CEUR Workshop Proceedings,
Conference: PAAR’22: 8th Workshop on Practical Aspects of Automated Reasoning, Haifa, Israel
Publisher Information: CEUR Workshop Proceedings
Year of publication: 2022
Pages: 20
Language(s): English
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
Release Date: 16. September 2022