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
|
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
Towards Farsighted Dependencies for Existential RulesRR-11016, 2011, pp.16
Rapport
lirmm-00595033v1
|
|||
|
|
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!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
|
||
|
|
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
|
||
On the Exploration of the Query Rewriting Space with Existential Rules[Research Report] RR-13016, Lirmm. 2013
Rapport
lirmm-00825634v1
|
|||
|
|
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
|
||
|
|
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
|
||
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|
||
|
|
Mixed-instance querying: a lightweight integration architecture for data journalismVLDB, Sep 2016, New Delhi, India
Communication dans un congrès
hal-01321201v2
|
||
|
|
Compact Rewriting for Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès
lirmm-00839422v1
|
||
|
|
Towards Farsighted Dependencies for Existential RulesRR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.30-45, ⟨10.1007/978-3-642-23580-1_4⟩
Communication dans un congrès
lirmm-00618329v1
|
||
|
|
Expressivity of Datalog Variants – Completing the Picture25th International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States
Communication dans un congrès
hal-01302832v1
|
||
|
|
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
|
||
|
|
Sound, Complete and Minimal UCQ-Rewriting for Existential RulesSemantic Web – Interoperability, Usability, Applicability, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩
Article dans une revue
lirmm-01090370v1
|
||
|
|
Complexity of universality and related problems for partially ordered NFAsInformation and Computation, 2017, 255, pp.177 - 192. ⟨10.1016/j.ic.2017.06.004⟩
Article dans une revue
hal-01571398v1
|
- 1
- 2