Fajar Haifani

According to our database, Fajar Haifani authored at least 9 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On a notion of abduction and relevance for first-order logic clause sets.

Fajar Haifani

PhD thesis, 2022

Connection-minimal Abduction in EL via Translation to FOL - Technical Report.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

CoRR, 2022

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Semantic Relevance.

Fajar Haifani, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Connection-Minimal Abduction in <i>EL</i> via Translation to FOL.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Abduction in EL via Translation to FOL.

Fajar Haifani, Patrick Koopmann, Sophie Tourret

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance.

Fajar Haifani, Sophie Tourret, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 28, 2021

2020

On a Notion of Relevance.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

The graph spectra and spectral moments of random graphs.

Naghmeh Ghanooni, Fajar Haifani, Marsha Kleinbauer

Discret. Appl. Math., 2019