Personal profile
Education/Academic qualification
Computer Science, DPhil, University of Oxford
Award Date: 30 Jun 2020
Computer Science, MSc, University of Oxford
Award Date: 1 Oct 2016
Philosophy, BPhil (master), University of Oxford
Award Date: 30 Jun 2015
Mathematics & Physics, BSc, Universitat Autonoma de Barcelona
Award Date: 1 Aug 2013
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 9 Industry, Innovation, and Infrastructure
Collaborations and top research areas from the last five years
-
Expressive Power of Monotonic Graph Neural Networks via Datalog
Tena Cucala, D. J., 2025, Handbook on Neurosymbolic AI and Knowledge Graphs. IOS Press Books, p. 780-807Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile7 Downloads (Pure) -
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
Morris, M., Tena Cucala, D. J. & Cuenca Grau, B., 17 Nov 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. p. 477-488 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Downloads (Pure) -
Parallel Reasoning in Sequoia
Furmston, A., Tena Cucala, D. J., Chen, J. & Cuenca Grau, B., 29 Oct 2025, Proceedings of the 24th International Semantic Web Conference. Vol. 16140. p. 309-327 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 Downloads (Pure) -
Towards a Common Framework for Autoformalization
Mensfelt, A., Tena Cucala, D. J., Franco, S., Koutsoukou Argyraki, A., Trencsenyi, V. & Stathis, K., 8 Nov 2025, (Accepted/In press) Proceedings of the AAAI Conference on Artificial Intelligence.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Bridging Max Graph Neural Networks and Datalog with Negation
Tena Cucala, D. J. & Cuenca Grau, B., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning: Reasoning, Learning & Decision-Making Track. IJCAI Organization, p. 950-961 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile22 Downloads (Pure)