Fajar Haifani

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 8

Top Topics

Semantic Relevance

Statistical Machine Translation

Extended Abstract

Top Venues

Description Logics

Discret. Appl. Math.

Publications

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
via Translation to FOL. IJCAR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics (2022)
Fajar Haifani, Christoph Weidenbach
Semantic Relevance. IJCAR (2022)
Fajar Haifani, Sophie Tourret, Christoph Weidenbach
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. CADE (2021)
Fajar Haifani, Patrick Koopmann, Sophie Tourret
Abduction in EL via Translation to FOL. SOQE@KR (2021)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
On a Notion of Relevance. Description Logics (2020)
Naghmeh Ghanooni, Fajar Haifani, Marsha Kleinbauer
The graph spectra and spectral moments of random graphs. Discret. Appl. Math. 269 (2019)