Filter your results
- 3
- 1
- 4
- 4
- 1
- 2
- 1
- 4
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 1
- 1
4 Results
|
|
sorted by
|
|
Abduction inELvia Translation to FOLSOQE 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 RelevanceCADE 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
|
||
|
Semantic RelevanceIJCAR, 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
|
||
|
On a Notion of RelevanceProceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers
hal-03141063v1
|