Filtrer vos résultats
- 42
- 7
- 31
- 11
- 5
- 1
- 1
- 5
- 49
- 2
- 6
- 3
- 1
- 3
- 2
- 3
- 4
- 1
- 3
- 7
- 6
- 5
- 1
- 1
- 1
- 46
- 3
- 35
- 35
- 17
- 8
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 27
- 11
- 9
- 7
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
49 résultats
|
|
|
triés par
|
|
|
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 Sound and Complete Backward Chaining Algorithm for Existential RulesRR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. pp.122-138, ⟨10.1007/978-3-642-33203-6_10⟩
Communication dans un congrès
lirmm-00764341v3
|
||
|
|
On the Exploration of the Query Rewriting Space with Existential RulesRR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. pp.123-137, ⟨10.1007/978-3-642-39666-3_10⟩
Communication dans un congrès
lirmm-00838806v1
|
||
|
|
A Sound and Complete Backward Chaining Algorithm for Existential RulesRR-12016, 2012
Rapport
lirmm-00713182v3
|
||
|
|
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and AlgorithmsArtificial Intelligence [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English. ⟨NNT : ⟩
Thèse
tel-00925722v1
|
||
|
|
Similarité entre listes de termes dépendants et pondérés[Rapport de recherche] LIRMM. 2014
Rapport
lirmm-01093640v2
|
||
|
|
Parallelisable Existential Rules: a Story of PiecesKR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Communication dans un congrès
hal-03405745v1
|
||
Towards Farsighted Dependencies for Existential RulesRR-11016, 2011, pp.16
Rapport
lirmm-00595033v1
|
|||
|
|
Normalisations of Existential Rules: Not so Innocuous!BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04315377v1
|
||
|
|
Reasoning about disclosure in data integration in the presence of source constraintsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Communication dans un congrès
hal-02145369v3
|
||
|
|
On Boolean Combinations forming Piecewise Testable LanguagesTheoretical Computer Science, 2017, 682
Article dans une revue
hal-01637057v1
|
||
|
|
Normalisations of Existential Rules: Not so Innocuous!KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Communication dans un congrès
lirmm-03762686v1
|
||
|
|
A Single Approach to Decide Chase Termination on Linear Existential RulesICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
Communication dans un congrès
lirmm-02148200v1
|
||
|
|
Parallelisable Existential Rules: a Story of PiecesBDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
Communication dans un congrès
hal-03896402v1
|
||
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès
lirmm-01892353v1
|
||
|
|
Answering Counting Queries over DL-Lite OntologiesIJCAI 2020 - Twenty-Ninth International Joint Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan
Communication dans un congrès
hal-02927913v1
|
||
|
|
Sound, Complete, and Minimal Query Rewriting for Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès
lirmm-00838791v1
|
||
|
|
On the Complexity of Universality for Partially Ordered NFAs41st International Symposium on Mathematical Foundations of Computer Science , Aug 2016, Krakow, Poland. ⟨10.4230/LIPIcs.MFCS.2016.62⟩
Communication dans un congrès
hal-01334958v1
|
||
On the Exploration of the Query Rewriting Space with Existential Rules[Research Report] RR-13016, Lirmm. 2013
Rapport
lirmm-00825634v1
|
|||
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|
||
|
|
Counting Queries over ELHI⊥ OntologiesKR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩
Communication dans un congrès
hal-03820249v1
|
||
|
|
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⟩
Communication dans un congrès
hal-03801049v1
|
||
|
|
An Introduction to Ontology-Based Query Answering with Existential RulesRW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩
Communication dans un congrès
lirmm-01089990v1
|
||
|
|
Mixed-instance querying: a lightweight integration architecture for data journalismVLDB, Sep 2016, New Delhi, India
Communication dans un congrès
hal-01321201v2
|
||
Cas décidables par marche arrière pour des règles existentiellesJournée d'Intelligence Artificielle Fondamentale, 2010, France. pp.011-021
Communication dans un congrès
lirmm-00551570v1
|
|||
|
|
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⟩
Communication dans un congrès
lirmm-03345614v1
|
||
|
|
Complexity Landscape for Counting Queries35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03896410v1
|
||
|
|
A Generic Querying Algorithm for Greedy Sets of Existential RulesKR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106
Communication dans un congrès
lirmm-00763518v1
|
||
|
|
From EL to Tractable Existential Rules with Complex Role InclusionsDL: Description Logics, Jun 2012, Rome, Italy. pp.563-573
Communication dans un congrès
lirmm-00763586v1
|
||
Walking the Complexity Lines for Generalized Guarded Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717
Communication dans un congrès
lirmm-00618081v1
|
- 1
- 2