Mantas Šimkus
10 papers · 2013–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Silver 🏃 Academic Marathon · Half 🗺️ Taxonomy Completionist (11) 🌍 Conference Polyglot · Bronze 🚀 Conference Pioneer
💎
Century Club · Bronze
📈
Trend Setter
Top co-authors
Research topics
Keywords
description logic
(6)
non-monotonic reasoning
(2)
ontology-mediated queries
(2)
query rewriting
(2)
knowledge base
(2)
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
Conjunctive Regular Path Queries in Lightweight Description Logics
IJCAI 2013
Tractable Queries for Lightweight Description Logics
IJCAI 2013