Ruba Alassaf
Orcid: 0000-0002-0331-2451
According to our database1,
Ruba Alassaf
authored at least 6 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
0
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
2019
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
2018
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
2017
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME.
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017