The graph spectra and spectral moments of random graphs. - Naghmeh Ghanooni; Fajar Haifani; Marsha Kleinbauer (Discret. Appl. Math., 2019)

On a Notion of Relevance. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2020)

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. - Fajar Haifani; Sophie Tourret; Christoph Weidenbach (CADE, 2021)

Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret (SOQE@KR, 2021)

Connection-Minimal Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (IJCAR, 2022)

Semantic Relevance. - Fajar Haifani; Christoph Weidenbach (IJCAR, 2022)

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2022)

Connection-minimal Abduction in EL via Translation to FOL - Technical Report. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (CoRR, 2022)

On a notion of abduction and relevance for first-order logic clause sets. - Fajar Haifani (2022)