Markus Krötzsch

10 papers · 2013–2022 · 2 conferences · across top CS/AI conferences

Achievements

🧭 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

David Carral (4) Maximilian Marx (2) Irina Dragoste (2) Veronika Thost (2) Stefan Borgwardt (1) Michaël Thomazo (1) Alisa Kovtunova (1) Sebastian Rudolph (1) Bernhard Nebel (1) Stefan Ellmauthaler (1)

Keywords

knowledge representation (4) existential rule (4) ontological reasoning (3) chase algorithm (2) query answering (2) description logic (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) description logics (1) chase termination (1) description logic ontology (1) pddl compilation (1) horn description logic (1) horn logic (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