Mantas Šimkus
10 papers
· 2013–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(14)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(11)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(11)
🌈
Renaissance Researcher
(5)
💎
Century Club
(10)
📈
Trend Setter
🚀
Conference Pioneer
Conferences
IJCAI (6)
AAAI (4)
Top co-authors
Keywords
description logic
(5)
query rewriting
(2)
non-monotonic reasoning
(2)
knowledge base
(2)
model compilation
(1)
conjunctive query
(1)
ontology-based data access
(1)
data complexity
(1)
ontology-mediated query
(1)
ontology reasoning
(1)
ontology-based query
(1)
first-order rewritability
(1)
conditional answer
(1)
first-order rewritable
(1)
stable model semantics
(1)
concept satisfiability
(1)
default negation
(1)
quantified equilibrium logic
(1)
logic program
(1)
closed-world assumption
(1)