| 2024 | IJCAI | Finite Groundings for ASP with Functions: A Journey through Consistency. | Lukas Gerlach, David Carral, Markus Hecher |
| 2024 | KR | Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. | David Carral, Lucas Larroque, Michal Thomazo |
| 2023 | AAAI | General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. | Lukas Gerlach, David Carral |
| 2023 | FMICS | Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. | Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru |
| 2023 | KR | Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. | Lukas Gerlach, David Carral |
| 2022 | IJCAI | Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2022 | KR | Normalisations of Existential Rules: Not so Innocuous! | David Carral, Lucas Larroque, Marie-Laure Mugnier, Michal Thomazo |
| 2022 | LICS | Deciding Hyperproperties Combined with Functional Specifications. | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch |
| 2022 | PODS | A Journey to the Frontiers of Query Rewritability. | Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph |
| 2021 | KR | Capturing Homomorphism-Closed Decidable Queries with Existential Rules. | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2020 | AAAI | Checking Chase Termination over Ontologies of Existential Rules with Equality. | David Carral, Jacopo Urbani |
| 2020 | IJCAI | Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. | David Carral, Markus Krtzsch |
| 2019 | AAAI | From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. | David Carral, Larry Gonzlez, Patrick Koopmann |
| 2019 | IJCAI | Chasing Sets: How to Use Existential Rules for Expressive Reasoning. | David Carral, Irina Dragoste, Markus Krtzsch, Christian Lewe |
| 2018 | CADE | Efficient Model Construction for Horn Logic with VLog - System Description. | Jacopo Urbani, Markus Krtzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral |
| 2018 | ICDT | Preserving Constraints with the Stable Chase. | David Carral, Markus Krtzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph |
| 2018 | KR | The Combined Approach to Query Answering in Horn-ALCHOIQ. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2017 | IJCAI | Restricted Chase (Non)Termination for Existential Rules with Disjunctions. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2015 | IJCAI | The Combined Approach to Query Answering Beyond the OWL 2 Profiles. | Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks |
| 2014 | CADE | Untitled record | David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks |