David Carral

Publications de David Carral
15
Documents
Identifiants chercheurs

Présentation

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

Publications

7
4
3
1
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
5
4
3
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
4
5
2
11
1
13
9
7
7
4
2
2
1
1

Publications

Image document

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-04710694 v1
Image document

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, Bucarest, Romania
Communication dans un congrès hal-04706324 v1
Image document

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-04823986 v1
Image document

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-04710719 v1
Image document

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-04214807 v1
Image document

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-04212137 v1
Image document

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-04212112 v1

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-04315377 v1
Image document

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-03833578 v1
Image document

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-03801049 v1
Image document

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-03599601 v1
Image document

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-03762686 v1
Image document

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-03345614 v1