Boris Motik
6 papers · 2013–2022 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Renaissance Researcher (5) π Conference Polyglot (3) π Academic Marathon (9) π Cross-Pollinator (12) π Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Pioneer
Conferences
IJCAI (4)
AAAI (1)
ICLR (1)
Top co-authors
Keywords
logic programming
(2)
computational complexity
(2)
data complexity
(1)
datalog program
(1)
stable model
(1)
modular framework
(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)
limit datalog
(1)
complexity analysis
(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