David Tena Cucala

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Conjunctive Query Answering

Description Logics

Number Restrictions

Top Venues

Description Logics

Publications

Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. AAAI (2024)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR (2023)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR (2023)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. 298 (2021)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics (2019)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That (2019)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63 (2018)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI (2018)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR (2018)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics (2017)