Follow
Ruba Alassaf
Ruba Alassaf
Verified email at manchester.ac.uk
Title
Cited by
Cited by
Year
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME.
R Alassaf, RA Schmidt
SOQE, 21-26, 2017
72017
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic.
R Alassaf, RA Schmidt
GCAI, 127-138, 2019
42019
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
32023
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn.
R Alassaf, RA Schmidt, U Sattler
SOQE@ KR, 15-27, 2021
22021
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
22018
Developing practical uniform interpolation systems for modal logic
R Alassaf, RA Schmidt
4th Women in Logic Workshop, 34, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–8