Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Image document

Abduction inELvia Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret
SOQE 2021 - 2nd Workshop on Second-Order Quantifier Elimination and Related Topics, Nov 2021, Hanoï (online), Vietnam. pp.46-58
Conference papers hal-03516691v1

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

Fajar Haifani , Sophie Tourret , Christoph Weidenbach
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.327-343, ⟨10.1007/978-3-030-79876-5_19⟩
Conference papers hal-03516684v1
Image document

Semantic Relevance

Fajar Haifani , Christoph Weidenbach
IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.208-227, ⟨10.1007/978-3-031-10769-6_13⟩
Conference papers hal-03881904v1
Image document

On a Notion of Relevance

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers hal-03141063v1