Mark Kaminski
9 papers
· 2015–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🐣
Hot Topic Early Bird
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(9)
🌈
Renaissance Researcher
(5)
🏆
Keyword Champion
(2)
🚀
Conference Pioneer
Conferences
IJCAI (7)
AAAI (2)
Top co-authors
Keywords
data complexity
(4)
computational complexity
(4)
metric temporal logic
(3)
logic programming
(3)
query answering
(2)
ontology-based data access
(2)
knowledge representation
(2)
stream reasoning
(2)
expressive power
(2)
stratified negation
(1)
fact entailment
(1)
stable model semantics
(1)
metric temporal datalog
(1)
temporal operator
(1)
chase algorithm
(1)
conjunctive query answering
(1)
query engine
(1)
descriptive complexity
(1)
logical fragment
(1)
metric temporal operator
(1)