Filter your results
- 5
- 1
- 5
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 6
- 4
- 4
- 4
- 1
- 1
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 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
|
||
|
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
|
||
|
Signature-Based Abduction for Expressive Description Logics17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩
Conference papers
hal-03141064v1
|
||
|
Computing ALCH-Subsumption Modules Using Uniform InterpolationSOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics, Dec 2017, Dresden, Germany
Conference papers
hal-01712802v1
|
||
|
On a Notion of RelevanceProceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers
hal-03141063v1
|
||
|
Ontology-mediated query answering over temporal and inconsistent dataSemantic Web – Interoperability, Usability, Applicability, 2019, ⟨10.3233/SW-180337⟩
Journal articles
hal-02111428v1
|