Cucala, David Tena

3 publications

AAAI 2024 Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev

IJCAI 2018 Consequence-Based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2018 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks