Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
Image document

Connection-Minimal Abduction in EL via Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
35th International Workshop on Description Logics (DL 2022), Aug 2022, Haifa, Israel. ⟨10.1007/978-3-031-10769-6_12⟩
Conference papers hal-03937189v1
Image document

Superposition for Full Higher-order Logic

Alexander Bentkamp , Jasmin Blanchette , Sophie Tourret , Petar Vukmirović
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.396-412, ⟨10.1007/978-3-030-79876-5_23⟩
Conference papers hal-03364032v1
Image document

Making Higher-Order Superposition Work

Petar Vukmirović , Alexander Bentkamp , Jasmin Blanchette , Simon Cruanes , Visa Nummelin , et al.
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.415-432, ⟨10.1007/978-3-030-79876-5_24⟩
Conference papers hal-03364024v1