TU Dortmund
Department of Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Germany
Room: 3.015 (consultation hour by appointment)
Email: marco.wilhelm@tu-dortmund.de
News
- My paper “A Hybrid System for Warehouse Layout Planning Based on Answer Set Programming and Conditional Expert Knowledge” co-authored with Andre Thevapalan, Gabriele Kern-Isberner, Pascal Kaiser, and Moritz Roidl has been accepted for TAASP2024.
Current Research Interests
- Artificial Intelligence (AI)
- Knowledge Representation and Reasoning (KR)
- Uncertain Reasoning (UR)
- Qualitative Nonmonotonic Reasoning (OCF and ASP)
- Probabilistic Relational Reasoning (MaxEnt and StarAI)
- Cognitive Logics (CL)
Positions
- Research Assistant at the Department of Computer Science, TU Dortmund,
research group on Information Engineering
led by Prof. Dr. Gabriele Kern-Isberner (since Oct 2022)
- Research Assistant at the Department of Statistics, TU Dortmund,
research group on Mathematical Statistics with Applications in Biometrics
led by Prof. Dr. Katja Ickstadt (from Mar 2022 to Sep 2022)
- Research Assistant at the Department of Computer Science, TU Dortmund,
research group on Knowledge Engineering
led by Prof. Dr. Gabriele Kern-Isberner (from Oct 2012 to Feb 2022)
Education
- PhD Student at the Department of Computer Science, TU Dortmund (since 2015, research topic: “Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy”)
- Student at the Department of Mathematics, TU Dortmund (from 2006 to 2012, Diploma degree in mathematics in 2012, thesis: “Der Gröbner-Walk”, supervisors: Prof. Dr. Hans Michael Möller and Prof. Dr. Franz B. Kalhoff)
Research Projects
- DFG Project (Grant KE 1413/14-1): Conditionals and ASP for Expert Reasoning (CASPER),
“Ein hybrides wissensbasiertes System auf der Basis von Konditionalen und ASP mit interaktiver Modellierungsumgebung und Anwendung auf Lagerplanung”
led by Prof. Dr. Gabriele Kern-Isberner
(since Oct 2022)
- From Prediction to Agile Interventions in the Social Sciences (FAIR),
Research data manager of FAIR (www.fair.tu-dortmund.de)
led by Prof. Fani Lauermann, PhD and
Prof. Dr. Philipp Doebler (from Mar 2022 to Sep 2022)
- DFG Research Unit 1513: Hybrid Reasoning for Intelligent Systems (HYBRIS),
Subprojekt A3 “Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy”
(www.hybrid-reasoning.org)
led by Prof. Dr. Gabriele Kern-Isberner and
Prof. Dr. Franz Baader
(from 2015 to 2019)
Scientific Service
- Publicity Co-Chair of
KR 2022
- Local Co-Organizer of
FOIKS 2020,
KI 2017
- Program Committee Member of
FLAIRS UR-Track 2025,
AAAI 2025,
KR 2024,
AAAI 2024,
ECSQARU 2023,
KR 2023,
AAAI 2023,
KR 2022,
AAAI 2022,
ECSQARU 2021,
AAAI 2021
- Reviewer for several journals as well as book, conference and workshop series including
AMAI (Annals of Mathematics and Artificial Intelligence),
AIR (Artificial Intelligence Review),
Fuzzy Sets and Systems,
IfCoLog (Journal of Applied Logics),
IJAR (International Journal of Approximate Reasoning);
LAR (Logic, Argumentation and Reasoning);
AAAI,
ECSQARU,
IJCAI,
KR,
NMR,
PRICAI
Memberships
- Member of
Dortmund Data Science Center at the TU Dortmund (since 2022)
- Former Member of
Qualitätsverbesserungskommission (QUEST)
at the Department of Computer Science, TU Dortmund (from 2015 to 2022)
Tutorials
- Statistical Relational AI - Exploiting Symmetries
together with Tanya Braun, University of Münster, and Marcel Gehrke, University of Lübeck
at KR 2023 in Rhodes, Greece (September 4, 2023). See also the
tutorial website.
Peer-Reviewed Publications
- Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification
Marco Wilhelm, Alexander Hahn, and Gabriele Kern-Isberner.
Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning (NMR), 2024
- Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, and Gabriele Kern-Isberner.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR), 2024
- Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance
Marco Wilhelm, Lars-Phillip Spiegel, and Gabriele Kern-Isberner.
Proceedings of the 37th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2024
- Core c-Representations and c-Core Closure for Conditional Belief Bases
Marco Wilhelm, Gabriele Kern-Isberner, and Christoph Beierle.
Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS), 2024
- Decomposing Constraint Networks for Calculating c-Representations
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the 38th Conference on Artificial Intelligence (AAAI), 2024
- Activation-Based Conditional Inference (Extended Abstract)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle.
2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI), 2023 (unarchieved)
- Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, and Jesse Heyninck.
Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA), 2023
- Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning
Marco Wilhelm.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023
- Prioritizing Answer Sets Based on Conditional Expert Knowledge
Marco Wilhelm, Andre Thevapalan, and Gabriele Kern-Isberner.
Proceedings of the 36th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2023
- An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP
Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, and Moritz Roidl.
Proceedings of the 36th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2023
- Activation-Based Conditional Inference
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle.
In: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Vol 10(2): pp. 221-248, 2023
- Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
Pascal Kaiser, Andre Thevapalan, Moritz Roidl, Gabriele Kern-Isberner, and Marco Wilhelm.
Proceedings of the 4th Conference on Production Systems and Logistics (CPSL), 2023
- Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle.
Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2022
- Conditional Inference and Activation of Knowledge Entities in ACT-R
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle.
arXiv:2110.15214 [cs.AI], 2021
- A Brief Introduction Into Activation-Based Conditional Inference
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR), 2021
- Predicting Human Responses to Syllogism Tasks Following the Principle of Maximum Entropy (Abstract)
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the Entropy 2021 Conference, 2021
- Focused Inference and System P
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the 35th Conference on Artificial Intelligence (AAAI), 2021
- Probabilistic Belief Fusion at Maximum Entropy by First-Order Embedding
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR), 2020
- Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2020
- The Complexity of the Consistency Problem in the Probabilistic Description Logic ALC^ME
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, and Marco Wilhelm.
Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS), 2019
- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME
Marco Wilhelm and Gabriele Kern-Isberner.
Description Logic, Theory Combination, and All That. Springer, 2019
- Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, and Christoph Beierle.
Proceedings of the 32nd International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2019
- Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, and Franz Baader.
Proceedings of the 16th Edition of the European Conference on Logics in Artificial Intelligence (JELIA), 2019
- Evaluating Reactive ASP by Formal Belief Revision
Jonas Philipp Haldimann, Marco Wilhelm, and Gabriele Kern-Isberner.
Workshop on Hybrid Reasoning and Learning (HRL) at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2018
- A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies
Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, and Christoph Beierle.
Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems (FOIKS), 2018
- Drawing Inferences Under Maximum Entropy From Relational Probabilistic Knowledge Using Group Theory
Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
Infinite Group Theory: From the Past to the Future. World Scientific, 2018
- Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Marco Wilhelm, Gabriele Kern-Isberner, and Andreas Ecke.
Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI), 2017
- First-Order Typed Model Counting for Probabilistic Connditional Reasoning at Maximum Entropy
Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, and Christoph Beierle.
Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM), 2017
- A Semantics for Conditionals with Default Negation
Marco Wilhelm, Christian Eichhorn, Richard Niland, and Gabriele Kern-Isberner.
Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2017
- Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
Marco Wilhelm and Gabriele Kern-Isberner.
Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2017
- Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
In: Annals of Mathematics and Artificial Intelligence 79: pp. 163-179, 2017
- Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories
Marco Wilhelm, Gabriele Kern-Isberner, and Andreas Ecke.
Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2016
- A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy
Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2014
- Probabilistic Knowledge Representation Using Gröbner Basis Theory
Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle.
13th International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2014
Scientific Talks
- CASPER – Conditionals and ASP for Expert Reasoning. A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive Modelling Environment and Application to Warehouse Planning
ASP workshop.
Dortmund, Germany (May 28, 2024); joint talk with Andre Thevapalan
- Core c-Representations and c-Core Closure for Conditional Belief Bases
13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS).
Sheffield, United Kingdom (April 8, 2024)
- Core c-Representations and c-Core Closure for Conditional Belief Bases
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Virtual (March 4, 2024)
- Decomposing Constraint Networks for Calculating c-Representations
38th Conference on Artificial Intelligence (AAAI 2024).
Vancouver, Canada; Video Presentation (February 22-25, 2024)
- Decomposing Constraint Networks for Calculating c-Representations
Joint Workshop of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, Artificial Intelligence, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Dortmund, Germany (October 30, 2023)
- Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
Dresden, Germany (September 21, 2023)
- Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning
20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023).
Rhodes, Greece (September 5, 2023)
- Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Virtual (August 14, 2023)
- Prioritizing Answer Sets Based on Conditional Expert Knowledge
36th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2023).
Clearwater Beach, Florida, USA (May 16, 2023)
- CASPER - Conditionals and ASP for Expert Reasoning. A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive Modelling Environment and Application to Warehouse Planning
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, Artificial Intelligence, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Hagen, Germany (December 6, 2022); joint talk with Andre Thevapalan
- Maximum Entropy Reasoning
Internal Presentation in the Project ‘From Prediction to Agile Interventions in the Social Sciences’ (FAIR), TU Dortmund.
Dortmund, Germany (March 16, 2022)
- Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning
35th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2022).
Jensen Beach, Florida, USA, and virtual (May 17, 2022)
- Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy
34th International Conference of the Florida Artificial Intelligence Research Society (FLAIRS 2021).
North Miami Beach, Florida, USA, and virtual (May 17, 2021)
- Activation-Based Conditional Inference and How to Forget and Remember
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (March 24, 2021); joint talk with Diana Howey
- Focused Inference and System P
35th Conference on Artificial Intelligence (AAAI 2021).
Virtual Conference; Video Presentation (February 2-9, 2021)
- Probabilistic Belief Fusion at Maximum Entropy by First-Order Embedding
18th International Workshop on Non-Monotonic Reasoning.
Virtual Workshop (September 13, 2020)
- Focused Inference and System P
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (July 8, 2020)
- PRECORE Challenge - Using the Principle of Maximum Entropy to Predict Human Responses to Syllogism Tasks
41st Cognitive Science Conference (CogSci 2019).
Montreal, Canada (July 24, 2019)
- Probabilistic Inferences Under Maximum Entropy for Description Logics
Journal Club of the Working Group Information Engineering, TU Dortmund.
_Dortmund, Germany (July 17, 2019)
- PRECORE Challenge - Using the Principle of Maximum Entropy to Predict Human Responses to Syllogism Tasks
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (June 27, 2019)
- Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy
13th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
Berlin, Germany (June 21, 2019)
- The Probabilistic Description Logic ALC^ME
34th Miniworkshop on Theoretical Computer Science, TU Dortmund.
Dortmund, Germany (May 27, 2019)
- Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
16th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2019).
Rende, Italy (May 8, 2019)
- A Semantics for Conditionals with Default Negation
3rd Workshop on Human Reasoning and Computational Logic.
Dresden, Germany (April 5, 2019)
- ALC^ME - A Probabilistic Description Logic Under the Aggregating Semantics and the Principle of Maximum Entropy
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Hagen, Germany (December 19, 2018)
- ALC^ME - A Probabilistic Description Logic Under the Aggregating Semantics and the Principle of Maximum Entropy
12th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
Freiburg im Breisgau, Germany (November 13, 2018)
- Typed Model Counting
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (July 9, 2018)
- A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies
10th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2018).
Budapest, Hungary (May 16, 2018)
- Improving an Iterative Scaling Algorithm for Computing First-order Maximum Entropy Distributions
11th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
Potsdam, Germany (May 8, 2018)
- A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (April 30, 2018)
- (First-order) Typed Model Counting for Maximum Entropy Reasoning
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Hagen, Germany (December 19, 2017)
- First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy
11th International Conference on Scalable Uncertainty Management (SUM 2017).
Granada, Spain (October 6, 2017)
- Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
30th International Conference of the Florida Artificial Intelligence Research Society (FLAIRS 2017).
Marco Island, Florida, USA (May 23, 2017)
- A Semantics for Conditionals with Default Negation
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (May 3, 2017)
- Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Hagen, Germany (December 21, 2016)
- Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
8th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
Dresden, Germany (November 29, 2016)
- Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (August 24, 2016)
- CondStructor - An Algorithm for Classifying Possible Worlds With a View to Probabilistic Reasoning at Maximum Entropy
7th Workshop on Hybrid Reasoning of DFG Research Unit 1513.
Freiburg im Breisgau, Germany (June 6, 2016)
- Probabilistic Inferences under Maximum Entropy for Description Logics. Building Equivalence Classes of Possible Worlds With Respect to Conditional Knowledge
Joint Doctoral Colloquium of the Working Groups Wissensbasierte Systeme, FernUniversität Hagen, and Information Engineering, TU Dortmund.
Hagen, Germany (December 16, 2015)
- Probabilistic Knowledge Representation Using Gröbner Basis Theory
13th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014).
Fort Lauderdale, Florida, USA (January 8, 2014)
- Probabilistic Knowledge Representation Using Gröbner Basis Theory
23th Miniworkshop on Theoretical Computer Science, TU Dortmund.
Dortmund, Germany (June 24, 2013)
- Probabilistic Knowledge Representation Using Gröbner Basis Theory
Journal Club of the Working Group Information Engineering, TU Dortmund.
Dortmund, Germany (June 11, 2013)
Teaching Activities
(at the Department of Computer Science, TU Dortmund)
- Darstellung, Verarbeitung und Erwerb von Wissen (excersises, in German, winter term 2021/22)
- Mathematik für Informatiker II (excercises, in German, summer term 2021)
- Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2020/21)
- Commonsense Reasoning (exercises, in German, summer term 2020)
- Commonsense Reasoning (exercises, in German, summer term 2019)
- Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2018/19)
- Grundbegriffe der Theoretischen Informatik (exercises, in German, summer term 2018)
- Probabilistische Beschreibungslogiken (introductory seminar course assistance, in German, winter term 2014/15)
- Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2014/15)
- Mathematik für Informatiker II (exercises, in German, summer term 2014)
- Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2013/14)
- Mathematik für Informatiker II (exercises + tutorial, in German, summer term 2013)
- Mathematik für Informatiker I (exercises + tutorial, in German, winter term 2012/13)
Co-Supervised Theses
- Extraktion konditionaler Wissensbasen aus neuronalen Netzen (Alexander Hahn, Master thesis, in German, 2023)
- Priorisierung von Antwortmengen mit Rangfunktionen, insbesondere auf Basis des Toleranzbegriffs (Lars-Phillip Spiegel, Master thesis, in German, 2023)
- c-Repräsentationen in LEG-Netzen mit positiven Impact-Werten (Arthur Franke, Master thesis, in German, 2022)
- Induktives Lernen von ASP-Regeln mit Pruning (Rabina Borici, Bachelor thesis, in German, 2022)
- Algorithmic Computation of c-Representations in LEG-Networks (Lorenzo Perez Veenstra, Master thesis, 2021)
- ASP-Forgetting-Methoden für Rangfunktionen (Patrick Miß, Bachelor thesis, in German, 2021)
- Bestimmung der Äquivalenzklassen möglicher Welten mit Hilfe des Typed Model Countings (Franz Leonhard Nentwich, Bachelor thesis, in German, 2018)
- Revisionen von Rangfunktionen mit Meta-Informationen (Christian Riest, Master thesis, in German, 2018)
- Probabilistische Wissenskontraktion mit Hilfe von minimaler Relativentropie (Arthur Franke, Bachelor thesis, in German, 2017)
- Reaktive Antwortmengenprogrammierung - formale Eigenschaften und logistische Anwendung (Jonas Philipp Haldimann, Bachelor thesis, in German, 2017)
- Beschreibungslogische Ontologien für autonome Fahrzeuge in der Logistik (Daniel Gadalla, Bachelor thesis, in German, 2017)
- Wissensverarbeitung und Wissensrevision in der Only-Believing Logic (Yannic Twardokus, Bachelor thesis, in German, 2016)
- Berechnung minimaler c-Repräsentationen mittels ganzzahliger linearer Programmierung (Sebastian Sewarte, Bachelor thesis, in German, 2016)
- Implementierung und Evaluation eines Algorithmus zur Klassifizierung von möglichen Welten bezüglich einer konditionalen Wissensbasis (Christian Riest, Bachelor thesis, in German, 2016)
- Iterierte Wissensrevision für Aktionen im Situationskalkül (Melissa Hennes, Master thesis, in German, 2015)
- Iterierte Wissensrevision auf totalen Quasiordnungen (Jannis David Junge, Bachelor thesis, in German, 2015)
Misc
- ORCiD: 0000-0003-0266-2334
- Online Profiles:
TU Dortmund,
DBLP,
Google Scholar,
Research Gate,
LinkedIn,
XING
- TOP 4 FLAIRS 2024 Student Paper (FLAIRS 2024; title: “Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance”)
- TOP 25% program committee members of AAAI 2021 (AAAI-21-Program-Committee.pdf)
- TOP 3 FLAIRS 2019 Student Paper (FLAIRS 2019; title: “Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks”)
- Webmaster of NMR Workshop Series, KR 2022, FoIKS 2020, KI 2017, Adler Rauxel
- Positions as a Student Assistant: Internship Office of the Faculty of Mechanical Engineering, TU Dortmund (from 2010 to 2012), Professur für Gesundheitsförderung und Verbraucherbildung, TU Dortmund (from 2007 to 2011)
- Award from the German Physical Society (DFG) (for excellent performence in physics in the Abitur in 2005)
- Korfball player and official for KV Adler Rauxel e.V.