Motik, Boris

1. On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
   2023/05/29 by David J. Tena Cucala, Bernardo Cuenca Grau, Cucala, David Tena +5 · 6 citations
   Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning and Data Classification
2. Optimised Maintenance of Datalog Materialisations
   2017/11/10 by Pan Hu, Boris Motik, Hu, Pan +3 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Software Testing and Debugging Techniques #cs.AI #cs.DB
3. Foundations of Declarative Data Analysis Using Limit Datalog Programs
   2017/05/19 by Mark Kaminski, Kaminski, Mark, Bernardo Cuenca Grau +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
4. Modular Materialisation of Datalog Programs
   2018/11/06 by Pan Hu, Boris Motik, Hu, Pan +3 · 1 citation
   Computer Science · #Constraint Satisfaction and Optimization #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.DB