| A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. R Alassaf, RA Schmidt SOQE, 21-26, 2017 | 6 | 2017 |
| DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. R Alassaf, RA Schmidt GCAI, 127-138, 2019 | 3 | 2019 |
| Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. R Alassaf, RA Schmidt, U Sattler SOQE@ KR, 15-27, 2021 | 2 | 2021 |
| Non-Classical Logics in Satisfiability Modulo Theories C Eisenhofer, R Alassaf, M Rawson, L Kovács International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 1 | 2023 |
| Developing practical uniform interpolation systems for modal logic R Alassaf, RA Schmidt 4th Women in Logic Workshop, 34, 2020 | 1 | 2020 |
| The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. Y Zhao, H Feng, R Alassaf, W Del-Pinto, RA Schmidt Description Logics, 2018 | 1 | 2018 |
| Saturation-Based Uniform Interpolation for Multi-Modal Logics. R Alassaf, R Schmidt, U Sattler Advances in Modal Logic (AiML), 37-58, 2022 | | 2022 |
| Uniform Interpolation in Modal Logic R Alassaf, R Schmidt WORKSHOP 2019 55 (2), 25, 1995 | | 1995 |
