Mark Kaminski
9 papers · 2015–2020 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 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)
Papers
Tractable Fragments of Datalog with Metric Temporal Operators
IJCAI 2020
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
AAAI 2020
Reasoning over Streaming Data in Metric Temporal Datalog
AAAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
DatalogMTL: Computational Complexity and Expressive Power
IJCAI 2019
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Computing Horn Rewritings of Description Logics Ontologies
IJCAI 2015