Markus Krötzsch
10 papers · 2013–2022 · 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 ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🏆 Keyword Champion (3)
💎
Century Club · Bronze
📈
Trend Setter
🚀
Conference Pioneer
Top co-authors
Research topics
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
Answering Queries with Negation over Existential Rules
AAAI 2022
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Simulating Sets in Answer Set Programming
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