Boris Motik
6 papers
· 2013–2022
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)