- 14
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Federico Ulliana
36
Documents
Identifiants chercheurs
- federico-ulliana
- 0000-0002-9192-9573
Présentation
Publications
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 14
- 12
- 8
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 22
- 7
- 5
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 4
- 4
- 5
- 3
- 5
- 4
- 1
- 3
- 1
- 8
- 7
- 6
- 3
- 2
- 1
- 1
- 1
- 3
|
Scalable Reasoning on Document Stores via Instance-Aware Query RewritingBDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04305822v1
|
|
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated SourcesBDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04304601v1
|
|
Querying Key-Value Stores under Single-Key Constraints: Rewriting and ParallelizationRuleML+RR 2019 - 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. pp.198-206, ⟨10.1007/978-3-030-31095-0_15⟩
Communication dans un congrès
lirmm-02195593v1
|
|
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
|
|
Boolean Recombinase-Based DevicesTPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩
Communication dans un congrès
lirmm-02416052v1
|
|
Oblivious and Semi-Oblivious Boundedness for Existential RulesIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Communication dans un congrès
lirmm-02148142v1
|
|
On the k-Boundedness for Existential RulesRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Communication dans un congrès
lirmm-01921140v1
|
|
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
|
|
Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and ParallelizationBDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France
Communication dans un congrès
lirmm-01620207v1
|
|
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
|
|
Scalable composition frameworks for multicellular logicBIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Communication dans un congrès
lirmm-01662689v1
|
|
Extraction et Inférence de Connaissances à partir d’Assemblages Mécaniques Définis par une Représentation CAO 3DEGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France. pp.21-32
Communication dans un congrès
lirmm-01662810v1
|
|
Ontology-Mediated Queries for NOSQL DatabasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Communication dans un congrès
lirmm-01242913v1
|
|
Ontology-Mediated Queries for NOSQL DatabasesDL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Communication dans un congrès
lirmm-01375093v1
|
|
On Bounded Positive Existential RulesDL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Communication dans un congrès
lirmm-01375091v1
|
|
Extracting Bounded-level Modules from Deductive RDF TriplestoresAAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States
Communication dans un congrès
lirmm-01086951v1
|
|
Queries and Updates on Big XML Documents (Extended Abstract)SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy
Communication dans un congrès
hal-01169269v1
|
|
Andromeda: A System for Processing Queries and Updates on Big XML DocumentsBigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228, ⟨10.1007/978-3-319-23201-0_24⟩
Communication dans un congrès
hal-01169275v1
|
Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common FrameworkComputer-Aided Design, Jun 2014, Hong Kong, Hong Kong SAR China. pp.77
Communication dans un congrès
hal-01070567v1
|
|
|
Semantic Filtering of Scientific Articles guided by a Domain OntologyWCECS 2014 - World Congress on Engineering and Computer Science 2014, International Association of Engineers, Oct 2014, San Francisco, United States. pp.803-808
Communication dans un congrès
hal-01088092v1
|
|
My Corporis Fabrica: Making Anatomy EasySIGGRAPH: Special Interest Group on GRAPHics and Interactive Techniques, Aug 2014, Vancouver, Canada. pp.#16, ⟨10.1145/2619195.2656302⟩
Communication dans un congrès
hal-00987439v1
|
Processing XML queries and updates on map/reduce clustersInternational Conference on Extending Database Technology, Mar 2013, Genova, Italy
Communication dans un congrès
hal-00923695v1
|
|
Detecting XML query-update independence26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France
Communication dans un congrès
inria-00542526v1
|
Datalog revisited for reasoning in linked dataGiovambattista Ianni; Domenico Lembo; Leopoldo Bertossi; Wolfgang Faber; Birte Glimm; Georg Gottlob; Steffen Staab. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, LNCS (10370), Springer Verlag, pp.121-166, 2017, Reasoning Web International Summer School, 978-3-319-61032-0. ⟨10.1007/978-3-319-61033-7_5⟩
Chapitre d'ouvrage
hal-01661141v1
|
|
Oblivious and Semi-Oblivious Boundedness for Existential Rules[Research Report] LIRMM (UM, CNRS). 2020
Rapport
lirmm-02920624v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|
|
Type-based detection of XML query-update independenceOther [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩
Thèse
tel-00780488v1
|
|
Types for Detecting XML Query-Update IndependenceDatabases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : ⟩
Thèse
tel-00757597v1
|
|
Rule-based Languages for Reasoning on Data : Analysis, Design and ApplicationsComputer Science [cs]. Montpellier University, 2021
HDR
tel-03514093v1
|