David Tena Cucala

12 papers A* 4Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Towards a Common Framework for Autoformalization.
AAAI
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2025 J jnl
Towards a Common Framework for Autoformalization.
CoRR
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2024 A* conf
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic.
AAAI
Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev
2023 A* conf
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
KR
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023 J jnl
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
CoRR
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2021 J jnl
Pay-as-you-go consequence-based reasoning for the description logic SROIQ.
Artif. Intell.
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019 — conf
15 Years of Consequence-Based Reasoning.
Description Logic, Theory Combination, and All That
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019 — conf
Sequoia: A Consequence Based Reasoner for SROIQ.
Description Logics
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018 J jnl
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
J. Artif. Intell. Res.
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks
2018 A* conf
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
IJCAI
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018 J jnl
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
CoRR
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2017 — conf
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.
Description Logics
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks