Markus Krötzsch
10 papers · 2013–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14) 🏃 Academic Marathon (9) 🌉 Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🏆
Keyword Champion
(3)
📈
Trend Setter
💎
Century Club
(10)
🚀
Conference Pioneer
Conferences
IJCAI (8)
AAAI (2)
Top co-authors
Keywords
knowledge representation
(4)
existential rule
(4)
ontological reasoning
(3)
description logic
(3)
chase algorithm
(2)
query answering
(2)
non-monotonic reasoning
(1)
ai planning
(1)
negation handling
(1)
stable model semantics
(1)
predicate logic
(1)
property graph
(1)
symbolic ai
(1)
datalog rewriting
(1)
chase termination
(1)
description logic ontology
(1)
pddl compilation
(1)
horn description logic
(1)
horn logic
(1)
disjunctive rule
(1)
Papers
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Answering Queries with Negation over Existential Rules
AAAI 2022
Simulating Sets in Answer Set Programming
IJCAI 2022
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
IJCAI 2020
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
IJCAI 2019
Attributed Description Logics: Reasoning on Knowledge Graphs
IJCAI 2018
Logic on MARS: Ontologies for Generalised Property Graphs
IJCAI 2017
Restricted Chase (Non)Termination for Existential Rules with Disjunctions
IJCAI 2017
Computing Stable Models for Nonmonotonic Existential Rules
IJCAI 2013