Explanations for negative query answers under existential rules by Ceylan, I, Lukasiewicz, T, Malizia, E, Molinaro, C, Vaicenavicius, A

“…IJCAI Organization…”

Finitely materialisable Datalog programs with metric temporal operators by Wałęga, PA, Zawidzki, M, Cuenca Grau, B

“…IJCAI Organization…”

DatalogMTL with negation under stable models semantics by Wałęga, PA, Tena Cucala, DJ, Kostylev, EV, Cuenca Grau, B

“…IJCAI Organization…”

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

“…IJCAI Organization…”

Faithful approaches to rule learning by Tena Cucala, DJ, Cuenca Grau, B, Motik, B

“…IJCAI Organization…”

Monotone rewritability and the analysis of queries, views, and rules by Benedikt, M, Kikot, S, Marti, J, Nawelaja-Ostropolski, P

“…IJCAI Organization…”

On the expressivity of recurrent neural cascades with identity by Knorozova, NA, Ronca, A

“…IJCAI Organization…”

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

“…IJCAI Organization…”

Balancing expressiveness and inexpressiveness in view design by Benedikt, M, Bourhis, P, Jachiet, L, Tsamoura, E

“…IJCAI Organization…”

DatalogMTL over integer timeline by Walega, PA, Cuenca Grau, B, Kaminski, M, Kostylev, EV

“…IJCAI Organization…”