David Carral
Présentation
Voir ma page web personnelle ici : https://www-sop.inria.fr/members/David.Carral/
Publications
Publications
|
|
An Efficient Algorithm for Reasoning over OWL EL Ontologies with Nominal SchemasJournal of Logic and Computation, 2022, 33 (1), pp.exac032. ⟨10.1093/logcom/exac032⟩ |
|
|
Materializing Knowledge Bases via Trigger GraphsProceedings of the VLDB Endowment (PVLDB), 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩ |
|
|
Restricted Chase Termination: You Want More than FairnessPODS 2025 - ACM SIGMOD/PODS International Conference on Management of Data, Jun 2025, Berlin, Germany. pp.1-17, ⟨10.1145/3725246⟩ |
|
|
Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware FertilizationRuleML+RR 2025 - Rules and Reasoning, 9th International Joint Conference, RuleML+RR 2025, Sep 2025, Istanbul, Turkey |
|
|
Finite Groundings for ASP with Functions: A Journey through ConsistencyIJCAI 2024 - 33rd International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.3386-3394, ⟨10.24963/ijcai.2024/375⟩ |
|
|
Rule-aware Datalog Fact Explanation Using Group-SAT SolverRuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Brussels, Belgium |
|
|
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)NMR 2024 - 22nd International Workshop on Nonmonotonic Reasoning, Nov 2024, Hanoi, Vietnam. pp.183-186 |
|
|
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is UndecidableKR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam |
|
|
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-TerminationKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.301-310, ⟨10.24963/kr.2023/30⟩ |
|
|
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem ChaseAAAI 2023 - 37th Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6372-6379, ⟨10.1609/aaai.v37i5.25784⟩ |
|
|
Normalisations of Existential Rules: Not so Innocuous!BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France |
|
|
Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩ |
|
|
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)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⟩ |
|
|
A Journey to the Frontiers of Query RewritabilityPODS 2022 - 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2022, Philadelphia, United States. pp.359-367, ⟨10.1145/3517804.3524163⟩ |
|
|
Normalisations of Existential Rules: Not so Innocuous!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⟩ |
|
|
Deciding Hyperproperties Combined with Functional SpecificationsLICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13, ⟨10.1145/3531130.3533369⟩ |
|
|
Capturing Homomorphism-Closed Decidable Queries with Existential RulesKR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩ |