Login / Signup
Ruba Alassaf
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 7
Top Topics
Inference Rules
Description Logics
Modulo Theories
Theorem Prover
Top Venues
AiML
Description Logics
SOQE
GCAI
</>
Publications
</>
Clemens Eisenhofer
,
Ruba Alassaf
,
Michael Rawson
,
Laura Kovács
Non-Classical Logics in Satisfiability Modulo Theories.
TABLEAUX
(2023)
Matteo Acclavio
,
Lutz Straßburger
,
Renate A. Schmidt
,
Uli Sattler
,
Ruba Alassaf
Combinatorial Proofs for Constructive Modal Logic.
AiML
(2022)
Ruba Alassaf
,
Renate A. Schmidt
,
Uli Sattler
Saturation-Based Uniform Interpolation for Multi-Modal Logics.
AiML
(2022)
Ruba Alassaf
,
Renate A. Schmidt
,
Uli Sattler
.
SOQE@KR
(2021)
Ruba Alassaf
,
Renate A. Schmidt
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic.
GCAI
(2019)
Yizheng Zhao
,
Hao Feng
,
Ruba Alassaf
,
Warren Del-Pinto
,
Renate A. Schmidt
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Description Logics
(2018)
Ruba Alassaf
,
Renate A. Schmidt
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME.
SOQE
(2017)