Accéder directement au contenu

Federico Ulliana

12
Documents
Identifiants chercheurs

Présentation

Publications

michel-leclere
Image document

InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources

Jean-François Baget , Pierre Bisquert , Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli
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-04304601v1
Image document

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana
ICDT 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
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana
IJCAI 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
Image document

Boolean Recombinase-Based Devices

Guillaume Pérution-Kihli , Sarah Guiziou , Federico Ulliana , Michel Leclère , Jérôme Bonnet
TPNC 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
Image document

On the k-Boundedness for Existential Rules

Stathis Delivorias , Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Communication dans un congrès lirmm-01921140v1
Image document

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès lirmm-01892353v1
Image document

Scalable composition frameworks for multicellular logic

Sarah Guiziou , Pauline Mayonove , Federico Ulliana , Violaine Moreau , Michel Leclère
BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Communication dans un congrès lirmm-01662689v1
Image document

On Bounded Positive Existential Rules

Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Communication dans un congrès lirmm-01375091v1