David Tena Cucala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Towards a Common Framework for Autoformalization. | Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis |
| 2024 | AAAI | Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. | Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev |
| 2023 | KR | On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
| 2018 | IJCAI | Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. | David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |