Boris Motik

6 papers · 2013–2022 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird

🚀 Conference Pioneer

Venues

IJCAI (4) AAAI (1) ICLR (1)

Top co-authors

Ian Horrocks (5) Bernardo Cuenca Grau (4) Egor V. Kostylev (3) Mark Kaminski (2) Robert Piro (1) Giorgos Stoilos (1) Pan Hu (1) Yavor Nenov (1) David Jaime Tena Cucala (1)

Research topics

Artificial Intelligence (2) Knowledge & Reasoning (2) Core AI (2) Reasoning (2) Computer Science (1) Data Science & Analytics (1) Deep Learning (1) Machine Learning (1) Architectures (1) Foundations (1) Methods (1) Optimization & Theory (1) Representation (1) Systems (1)

Keywords

computational complexity (2) logic programming (2) knowledge graph (1) data complexity (1) datalog program (1) stable model (1) modular framework (1) graph neural network (1) stratified negation (1) fact entailment (1) stable model semantics (1) incremental update (1) datalog materialisation (1) seminal algorithm (1) transitive closure (1) query engine (1) algorithmic optimization (1) seminaïve algorithm (1) declarative data analysis (1) symbolic reasoning (1)

Papers

Explainable GNN-Based Models over Knowledge Graphs ICLR 2022 Modular Materialisation of Datalog Programs AAAI 2019 Stratified Negation in Limit Datalog Programs IJCAI 2018 Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017 Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality IJCAI 2015 Computing Datalog Rewritings Beyond Horn Ontologies IJCAI 2013