Fajar Haifani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CADE | Connection-Minimal Abduction in | Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
| 2022 | CADE | Semantic Relevance. | Fajar Haifani, Christoph Weidenbach |
| 2021 | CADE | Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. | Fajar Haifani, Sophie Tourret, Christoph Weidenbach |
| 2021 | KR | Abduction in EL via Translation to FOL. | Fajar Haifani, Patrick Koopmann, Sophie Tourret |