Federico Ulliana

35 papers A* 4A 1B 5Journal 11Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies.
ECMR
Nikolas Müller, Ahmad Kadi, Marie-Laure Mugnier, Guillaume Pérution-Kihli, Federico Ulliana, Martin Atzmueller
2025 — conf
Combining Open Data and Formal Reasoning for Autonomously Controlled Spreading near Water Bodies.
INFORMATIK
Ahmad Kadi, Nikolas Müller, Ansgar Bernardi, Federico Ulliana, Guillaume Pérution-Kihli
2025 B conf
Integrating Environmental Regulations into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization.
RuleML+RR
Guillaume Pérution-Kihli, Ahmad Kadi, Nikolas Müller, Akira Charoensit, David Carral, Pierre Bisquert, Federico Ulliana, Ansgar Bernardi, Marie-Laure Mugnier
2024 B conf
Collaborative Benchmarking Rule-Reasoners with B-Runner.
RuleML+RR
Federico Ulliana, Pierre Bisquert, Akira Charoensit, Renaud Colin, Florent Tornil, Quentin Yeche
2024 — conf
Rule-aware Datalog Fact Explanation Using Group-SAT Solver.
RuleML+RR (Companion)
Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette, Federico Ulliana
2023 J jnl
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting.
Proc. VLDB Endow.
Olivier Rodriguez, Federico Ulliana, Marie-Laure Mugnier
2021 J jnl
Characterizing Boundedness in Chase Variants.
Theory Pract. Log. Program.
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2021 — book
Rule-based Languages for Reasoning on Data : Analysis, Design and Applications.
Federico Ulliana
2020 J jnl
Characterizing Boundedness in Chase Variants.
CoRR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2020 J jnl
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
CoRR
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2019 A conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
ICDT
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2019 — conf
Boolean Recombinase-Based Devices.
TPNC
Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet
2019 A* conf
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
IJCAI
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2019 B conf
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization.
RuleML+RR
Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
2018 — conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
Description Logics
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018 J jnl
A Single Approach to Decide Chase Termination on Linear Existential Rules.
CoRR
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018 B conf
On the k-Boundedness for Existential Rules.
RuleML+RR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2018 J jnl
On the k-Boundedness for Existential Rules.
CoRR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2017 — conf
Datalog Revisited for Reasoning in Linked Data.
RW
Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, Federico Ulliana
2017 — conf
Extraction et Inférence de Connaissances à partir d'Assemblages Mécaniques Définis par une Représentation CAO 3D.
EGC
Harold Vilmart, Jean-Claude Léon, Federico Ulliana
2017 A* conf
Ontology-Mediated Query Answering for Key-Value Stores.
IJCAI
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
2016 — conf
On Bounded Positive Existential Rules.
Description Logics
Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2016 A* conf
Ontology-Mediated Queries for NOSQL Databases.
AAAI
Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
2016 — conf
Ontology-Mediated Queries for NOSQL Databases.
Description Logics
Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
2015 — conf
Andromeda: A System for Processing Queries and Updates on Big XML Documents.
ADBIS (Short Papers and Workshops)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
2015 A* conf
Extracting Bounded-Level Modules from Deductive RDF Triplestores.
AAAI
Marie-Christine Rousset, Federico Ulliana
2015 J jnl
My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development.
J. Biomed. Semant.
Pierre-Yves Rabattu, Benoit Massé, Federico Ulliana, Marie-Christine Rousset, Damien Rohmer, Jean-Claude Léon, Olivier Palombi
2015 — conf
Queries and Updates on Big XML Documents (Extended Abstract).
SEBD
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
2014 J jnl
My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models.
J. Biomed. Semant.
Olivier Palombi, Federico Ulliana, Valentin Favier, Jean-Claude Léon, Marie-Christine Rousset
2014 — conf
MyCorporisFabrica: making anatomy easy.
SIGGRAPH Studio
Armelle Bauer, Federico Ulliana, Ali-Hamadi Dicko, Benjamin Gilles, Olivier Palombi, François Faure
2014 J jnl
SOCLE: Towards a framework for data preparation in social applications.
Ingénierie des Systèmes d Inf.
Sihem Amer-Yahia, Noha Ibrahim, Christiane Kamdem Kengne, Federico Ulliana, Marie-Christine Rousset
2013 B conf
Processing XML queries and updates on map/reduce clusters.
EDBT
Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana, Maurizio Nolé, Carlo Sartiani
2012 J jnl
Type-Based Detection of XML Query-Update Independence
CoRR
Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana
2012 J jnl
Type-Based Detection of XML Query-Update Independence.
Proc. VLDB Endow.
Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana
2012 — —
Type-based detection of XML query-update independence. (Detection de l'independance entre requête XML et mise à jour XML : une approche basée sur le typage).
Federico Ulliana