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
</>