Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
3 Results
|
|
sorted by
|
|
Connection-Minimal Abduction in EL via Translation to FOL35th International Workshop on Description Logics (DL 2022), Aug 2022, Haifa, Israel. ⟨10.1007/978-3-031-10769-6_12⟩
Conference papers
hal-03937189v1
|
||
|
Superposition for Full Higher-order LogicCADE 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
|
||
|
Making Higher-Order Superposition WorkCADE 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
|