Subsumption demodulation in first-order theorem proving B Gleiss, L Kovács, J Rath International Joint Conference on Automated Reasoning, 297-315, 2020 | 14 | 2020 |
Integrating answer set programming with object-oriented languages J Rath, C Redl International symposium on practical aspects of declarative languages, 50-67, 2017 | 7 | 2017 |
Inconsistency Proofs for ASP: The ASP-DRUPE Format M Alviano, C Dodaro, JK Fichte, M Hecher, T Philipp, J Rath Theory and Practice of Logic Programming 19 (5-6), 891-907, 2019 | 6 | 2019 |
Automated Generation of Exam Sheets for Automated Deduction P Hozzová, L Kovács, J Rath International Conference on Intelligent Computer Mathematics, 185-196, 2021 | 5 | 2021 |
Subsumption demodulation in first-order theorem proving J Rath Wien, 2019 | | 2019 |
Integrating Answer Set Programming with Procedural Languages J Rath, C Redl Lecture Notes in Computer Science, 2017 | | 2017 |