Bridging max graph neural networks and datalog with negation by Tena Cucala, D, Cuenca Grau, B

Pay-as-you-go consequence-based reasoning for the description logic SROIQ by Tena Cucala, D, Cuenca Grau, B, Horrocks, I

The stable model semantics of datalog with metric temporal operators by Walega, P, Tena Cucala, D, Cuenca Grau, B, Kostylev, E

On the correspondence between monotonic max-sum GNNs and Datalog by Tena Cucala, D, Cuenca Grau, B, Motik, B, Kostylev, EV

Stratified negation in datalog with metric temporal operators by Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E

On the correspondence between monotonic max-sum GNNs and datalog by Tena Cucala, D, Cuenca Grau, B, Motik, B, Kostylev, EV

Consequence-based reasoning for description logics with disjunctions and number restrictions by Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simančík, F, Horrocks, I

Consequence-based reasoning for description logics with disjunctions and number restrictions by Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simancik, F, Horrocks, I