Filtrer vos résultats
- 44
- 21
- 57
- 7
- 1
- 65
- 1
- 3
- 5
- 1
- 4
- 4
- 4
- 5
- 11
- 2
- 5
- 5
- 7
- 4
- 3
- 1
- 65
- 31
- 22
- 22
- 17
- 11
- 8
- 7
- 7
- 7
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 65
- 12
- 8
- 7
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
65 résultats
Nested Regular Path Queries in Description LogicsFourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01117593v1
|
|||
|
Answering Conjunctive Regular Path Queries over Guarded Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès
lirmm-01632224v1
|
||
|
Research Directions for Principles of Data ManagementDagstuhl Manifestos, 2018, 7 (1), pp.1-29. ⟨10.4230/DagMan.7.1.1⟩
Article dans une revue
hal-01778196v1
|
||
|
Towards a Unified View of AI Planning and Reactive SynthesisTwenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS), Jul 2019, Berkeley, United States
Communication dans un congrès
hal-02342156v1
|
||
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data AccessInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.775-782
Communication dans un congrès
hal-00947531v1
|
|||
|
On the Complexity of Evaluating Regular Path Queries over Linear Existential RulesRR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.1-17, ⟨10.1007/978-3-319-45276-0_1⟩
Communication dans un congrès
hal-01341787v1
|
||
|
A Short Survey on Inconsistency Handling in Ontology-Mediated Query AnsweringKI - Künstliche Intelligenz, 2020, Special Issue on Ontologies and Data Management: Part II, 34 (4), pp.443-451. ⟨10.1007/s13218-020-00680-9⟩
Article dans une revue
hal-03151604v1
|
||
|
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description LogicsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Communication dans un congrès
lirmm-01367863v1
|
||
Tractable Queries for Lightweight Description LogicsInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.768-774
Communication dans un congrès
hal-00947533v1
|
|||
|
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)Description Logics, Jun 2015, Athens, Greece
Communication dans un congrès
hal-01277080v1
|
||
Query and Predicate Emptiness in Description LogicsInternational Conference on the Principles of Knowledge Representation and Reasoning (KR), May 2010, Toronto, Canada. pp.192-202
Communication dans un congrès
hal-00624141v1
|
|||
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNPACM Transactions on Database Systems, 2014, 39 (4), pp.33. ⟨10.1145/2661643⟩
Article dans une revue
hal-01117583v1
|
|||
|
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge BasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States
Communication dans un congrès
hal-01277086v1
|
||
|
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⟩
Article dans une revue
hal-02066288v1
|
||
On the Complexity of Consistent Query Answering in the Presence of Simple OntologiesAAAI Conference on Artificial Intelligence, Jul 2012, Canada. pp.id 4928
Communication dans un congrès
hal-00789141v1
|
|||
|
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From DataIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Communication dans un congrès
lirmm-01367866v1
|
||
|
Mixed-World Reasoning with Existential Rules under Active-Domain SemanticsTwenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), Aug 2019, Macao, Macau SAR China. ⟨10.24963/ijcai.2019/216⟩
Communication dans un congrès
hal-02342129v1
|
||
|
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth QueriesPODS: Principles of Database Systems, Jun 2017, Chicago, United States
Communication dans un congrès
hal-01632638v1
|
||
|
Combining Existential Rules and Transitivity: Next StepsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Communication dans un congrès
hal-01171846v1
|
||
|
Ontology-Mediated Query Answering for Key-Value StoresIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès
lirmm-01632090v1
|
||
Dealing with the Deep Web and all its QuirksVLDS (Very Large Data Search), Aug 2012, Istanbul, Turkey. pp.21-24
Communication dans un congrès
hal-00745179v1
|
|||
|
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases24th International Workshop on Description Logics (DL 2011), Jul 2011, Spain
Communication dans un congrès
hal-00640838v1
|
||
|
Deduction in the Presence of Distribution and ContradictionsWebDB, May 2012, Scottsdale, United States
Communication dans un congrès
hal-00809300v1
|
||
|
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)DL 2022 - 35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03801032v1
|
||
|
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⟩
Communication dans un congrès
hal-04204432v1
|
||
|
When is Shapley Value Computation a Matter of Counting?Symposium on Principles of Database Systems (PODS), Jun 2024, Santiago (CL), Chile. pp.105, ⟨10.1145/3651606⟩
Communication dans un congrès
hal-04375905v1
|
||
|
LACE: A Logical Approach to Collective Entity ResolutionProceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2022, Philadelphia, United States
Communication dans un congrès
hal-03686662v1
|
||
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like QueriesTwenty-Seventh International Workshop on Description Logics, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01117608v1
|
|||
From Preference Logics to Preference Languages, and BackInternational Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), May 2010, Toronto, Canada. pp.414-424
Communication dans un congrès
hal-00624483v1
|
|||
|
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit ComplexityJournal of the ACM (JACM), 2018, 65 (5), pp.1-51. ⟨10.1145/3191832⟩
Article dans une revue
lirmm-01892661v1
|