Ruba Alassaf

According to our database, Ruba Alassaf authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Non-Classical Logics in Satisfiability Modulo Theories.

Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Saturation-Based Uniform Interpolation for Multi-Modal Logics.

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K_n.

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

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.

Ruba Alassaf, Renate A. Schmidt

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.

Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt

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.

Ruba Alassaf, Renate A. Schmidt

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017