Filter your results
- 22
- 3
- 22
- 2
- 1
- 25
- 1
- 4
- 2
- 3
- 5
- 2
- 5
- 1
- 2
- 25
- 13
- 8
- 7
- 7
- 7
- 4
- 4
- 4
- 1
- 1
- 1
- 24
- 12
- 7
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
25 Results
|
|
sorted by
|
|
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Sep 2023, Rhodes, Greece. pp.97-106, ⟨10.24963/kr.2023/10⟩
Conference papers
hal-04204432v1
|
||
|
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)DL 2022 - 35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
Conference papers
hal-03801032v1
|
||
|
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and ExperimentsKR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel
Conference papers
hal-03770516v1
|
||
|
Revisiting Semiring Provenance for DatalogKR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.91-101, ⟨10.24963/kr.2022/10⟩
Conference papers
hal-03771031v1
|
||
|
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Conference papers
hal-03801049v1
|
||
|
Capturing Homomorphism-Closed Decidable Queries with Existential RulesKR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
Conference papers
lirmm-03345614v1
|
||
|
Geometric Models for (Temporally) Attributed Description LogicsDL 2021 - 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
Conference papers
hal-03345699v1
|
||
|
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract ArgumentationKR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes, Greece. pp.141-151
Conference papers
hal-02947251v1
|
||
|
Provenance for the Description Logic ELHr (Extended Abstract)DL 2020 - 33rd International Workshop on Description Logics, Sep 2020, Rhodes / Virtual, Greece
Conference papers
hal-02947265v1
|
||
|
Provenance for the Description Logic ELHrIJCAI-PRICAI-20 - Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩
Conference papers
hal-02899464v1
|
||
|
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)DL 2019 - 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway
Conference papers
hal-02152064v1
|
||
|
Learning How to Correct a Knowledge Base from the Edit HistoryWorld Wide Web Conference, May 2019, San Francisco, United States. ⟨10.1145/3308558.3313584⟩
Conference papers
hal-02066041v1
|
||
|
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge BasesJournal of Artificial Intelligence Research, 2019, 64, pp.563-644. ⟨10.1613/jair.1.11395⟩
Journal articles
hal-02066288v1
|
||
|
Querying Attributed DL-Lite Ontologies Using Provenance SemiringsThirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Jan 2019, Honolulu, United States
Conference papers
hal-02109645v1
|
||
|
Ontology-mediated query answering over temporal and inconsistent dataSemantic Web – Interoperability, Usability, Applicability, 2019, ⟨10.3233/SW-180337⟩
Journal articles
hal-02111428v1
|
||
|
Temporal Query Answering in DL-Lite over Inconsistent DataThe Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Oct 2017, Vienna, Austria
Conference papers
hal-02053254v1
|
||
Temporal Query Answering in DL-Lite over Inconsistent Data (Extended Abstract)International Workshop on Description Logics, 2017, Montpellier, France
Conference papers
hal-02152061v1
|
|||
|
Inconsistency Handling in Ontology-Mediated Query AnsweringArtificial Intelligence [cs.AI]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLS292⟩
Theses
tel-01378723v1
|
||
|
Inconsistency-Tolerant Querying of Description Logic Knowledge BasesRW 2016 - 12th Reasonning Web Summer School, Sep 2016, Aberdeen, United Kingdom. pp.156-202, ⟨10.1007/978-3-319-49493-7_5⟩
Conference papers
hal-01633000v1
|
||
|
Query-Driven Repairing of Inconsistent DL-Lite Knowledge BasesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
lirmm-01367864v1
|
||
|
Query-driven Repairing of Inconsistent DL-Lite Knowledge BasesDL: Description Logics, Apr 2016, Le Cap, South Africa
Conference papers
hal-02152060v1
|
||
|
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge BasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States
Conference papers
hal-01277086v1
|
||
|
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)Description Logics, Jun 2015, Athens, Greece
Conference papers
hal-01277080v1
|
||
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair SemanticsAAAI Conference on Artificial Intelligence (AAAI), Jul 2014, Quebec city, Canada
Conference papers
hal-01007557v1
|
|||
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (Extended Abstract)International Workshop on Description Logics, Jul 2014, Vienna, Austria
Conference papers
hal-01052452v1
|