- 14
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Federico Ulliana
33
Documents
Researcher identifiers
federico-ulliana
Presentation
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
- 11
- 11
- 8
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 22
- 7
- 5
- 5
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 4
- 5
- 3
- 5
- 4
- 1
- 3
- 1
- 8
- 7
- 3
- 3
- 2
- 1
- 1
- 1
- 3
|
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⟩
Conference papers
lirmm-02148200v1
|
|
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⟩
Conference papers
lirmm-02148142v1
|
|
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⟩
Conference papers
lirmm-02416052v1
|
|
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⟩
Conference papers
lirmm-02195593v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Conference papers
lirmm-01892353v1
|
|
On the k-Boundedness for Existential RulesRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Conference papers
lirmm-01921140v1
|
|
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
Conference papers
lirmm-01662810v1
|
|
Scalable composition frameworks for multicellular logicBIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Conference papers
lirmm-01662689v1
|
|
Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and ParallelizationBDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France
Conference papers
lirmm-01620207v1
|
|
Ontology-Mediated Query Answering for Key-Value StoresIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers
lirmm-01632090v1
|
|
On Bounded Positive Existential RulesDL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Conference papers
lirmm-01375091v1
|
|
Ontology-Mediated Queries for NOSQL DatabasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Conference papers
lirmm-01242913v1
|
|
Ontology-Mediated Queries for NOSQL DatabasesDL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Conference papers
lirmm-01375093v1
|
|
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
Conference papers
lirmm-01086951v1
|
|
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⟩
Conference papers
hal-01169275v1
|
|
Queries and Updates on Big XML Documents (Extended Abstract)SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy
Conference papers
hal-01169269v1
|
|
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
Conference papers
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⟩
Conference papers
hal-00987439v1
|
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
Conference papers
hal-01070567v1
|
|
Processing XML queries and updates on map/reduce clustersInternational Conference on Extending Database Technology, Mar 2013, Genova, Italy
Conference papers
hal-00923695v1
|
|
Detecting XML query-update independence26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France
Conference papers
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⟩
Book sections
hal-01661141v1
|
|
Oblivious and Semi-Oblivious Boundedness for Existential Rules[Research Report] LIRMM (UM, CNRS). 2020
Reports
lirmm-02920624v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Reports
lirmm-01892375v1
|
|
Types for Detecting XML Query-Update IndependenceDatabases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : ⟩
Theses
tel-00757597v1
|
|
Type-based detection of XML query-update independenceOther [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩
Theses
tel-00780488v1
|
|
Rule-based Languages for Reasoning on Data : Analysis, Design and ApplicationsComputer Science [cs]. Montpellier University, 2021
Habilitation à diriger des recherches
tel-03514093v1
|