Mantas Šimkus
10 papers · 2013–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐝 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
(6)
non-monotonic reasoning
(2)
query rewriting
(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)
Papers
Stable Model Semantics for Description Logic Terminologies
AAAI 2024
Description Logics with Pointwise Circumscription
IJCAI 2023
Bounded Predicates in Description Logics with Counting
IJCAI 2021
Query Rewriting for Ontology-Mediated Conditional Answers
AAAI 2020
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
AAAI 2020
Relaxing and Restraining Queries for OBDA
AAAI 2019
Compiling Model Representations for Querying Large ABoxes in Expressive DLs
IJCAI 2018
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
IJCAI 2016
Tractable Queries for Lightweight Description Logics
IJCAI 2013
Conjunctive Regular Path Queries in Lightweight Description Logics
IJCAI 2013