Automated Reasoning in Non-classical Logics in the TPTP World
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Steen, Alexander; Fuenmayor, David ![]() ![]() |
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 |

originated at the
University of Bamberg
University of Bamberg