David Carral Publications de David Carral

Identifiants chercheurs

IdHAL :

david-carral

ORCID :

0000-0001-7287-4709

Présentation

Voir ma page web personnelle ici : https://www-sop.inria.fr/members/David.Carral/

Publications

Article dans une revue (2)

An Efficient Algorithm for Reasoning over OWL EL Ontologies with Nominal Schemas David Carral,Joseph Zalewski,Pascal Hitzler Journal of Logic and Computation, 2022, 33 (1), pp.exac032. ⟨10.1093/logcom/exac032⟩ Article dans une revue hal-03833721v1
Materializing Knowledge Bases via Trigger Graphs Efthymia Tsamoura,David Carral,Enrico Malizia,Jacopo Urbani Proceedings of the VLDB Endowment (PVLDB), 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩ Article dans une revue lirmm-03344217v1

Communication dans un congrès (15)

Restricted Chase Termination: You Want More than Fairness David Carral,Lukas Gerlach,Lucas Larroque,Michaël Thomazo PODS 2025 - ACM SIGMOD/PODS International Conference on Management of Data, Jun 2025, Berlin, Germany. pp.1-17, ⟨10.1145/3725246⟩ Communication dans un congrès hal-05240721v1
Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization Guillaume Pérution-Kihli,Ahmad Kadi,Nikolas Müller,Akira Charoensit,David Carralet al. RuleML+RR 2025 - Rules and Reasoning, 9th International Joint Conference, RuleML+RR 2025, Sep 2025, Istanbul, Turkey Communication dans un congrès hal-05242346v1
Finite Groundings for ASP with Functions: A Journey through Consistency Lukas Gerlach,David Carral,Markus Hecher IJCAI 2024 - 33rd International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.3386-3394, ⟨10.24963/ijcai.2024/375⟩ Communication dans un congrès hal-04710694v1
Rule-aware Datalog Fact Explanation Using Group-SAT Solver Akira Charoensit,David Carral,Pierre Bisquert,Lucas Rouquette,Federico Ulliana RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Brussels, Belgium Communication dans un congrès hal-04706324v1
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) Lukas Gerlach,David Carral,Markus Hecher NMR 2024 - 22nd International Workshop on Nonmonotonic Reasoning, Nov 2024, Hanoi, Vietnam. pp.183-186 Communication dans un congrès lirmm-04823986v1
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable David Carral,Lucas Larroque,Michaël Thomazo KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam Communication dans un congrès hal-04710719v1
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination Lukas Gerlach,David Carral KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.301-310, ⟨10.24963/kr.2023/30⟩ Communication dans un congrès hal-04212137v1
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase Lukas Gerlach,David Carral AAAI 2023 - 37th Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6372-6379, ⟨10.1609/aaai.v37i5.25784⟩ Communication dans un congrès hal-04212112v1
Normalisations of Existential Rules: Not so Innocuous! David Carral,Lucas Larroque,Michaël Thomazo,Marie-Laure Mugnier 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
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking Aziz Sfar,David Carral,Dina Irofti,Madalina Croitoru FMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩ Communication dans un congrès lirmm-04214807v1
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) Camille Bourgaux,David Carral,Markus Krötzsch,Sebastian Rudolph,Michaël Thomazo 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 Journey to the Frontiers of Query Rewritability Piotr Ostropolski-Nalewaja,Jerzy Marcinkowski,David Carral,Sebastian Rudolph PODS 2022 - 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2022, Philadelphia, United States. pp.359-367, ⟨10.1145/3517804.3524163⟩ Communication dans un congrès hal-03599601v1
Normalisations of Existential Rules: Not so Innocuous! David Carral,Lucas Larroque,Marie-Laure Mugnier,Michaël Thomazo 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
Deciding Hyperproperties Combined with Functional Specifications Raven Beutner,David Carral,Bernd Finkbeiner,Jana Hofmann,Markus Krötzsch LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13, ⟨10.1145/3531130.3533369⟩ Communication dans un congrès lirmm-03833578v1
Capturing Homomorphism-Closed Decidable Queries with Existential Rules Camille Bourgaux,David Carral,Markus Krötzsch,Sebastian Rudolph,Michaël Thomazo KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩ Communication dans un congrès lirmm-03345614v1