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  
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, CEUR-WS.org
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
URL: http://ceur-ws.org/Vol-3201/paper11.pdf
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/55555
Release Date: 16. September 2022