David Carral

5 papers in the IJCAI proceedings

IJCAI 2024

Finite Groundings for ASP with Functions: A Journey through Consistency

with Lukas Gerlach, Markus Hecher

doi:10.24963/ijcai.2024/375

Details PDF

IJCAI 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

with Camille Bourgaux, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

doi:10.24963/ijcai.2022/733

Details PDF

IJCAI 2020

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

with Markus Krötzsch

doi:10.24963/ijcai.2020/246

Details PDF

IJCAI 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning

with Irina Dragoste, Markus Krötzsch, Christian Lewe

doi:10.24963/ijcai.2019/225

Details PDF

IJCAI 2017

Restricted Chase (Non)Termination for Existential Rules with Disjunctions

with Irina Dragoste, Markus Krötzsch

doi:10.24963/ijcai.2017/128

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings