Marco Wilhelm

Logo

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

Current Research Interests

Positions

  1. 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)
  2. 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)
  3. 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

  1. 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”)
  2. 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

  1. 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)
  2. 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)
  3. 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

  1. Publicity Co-Chair of KR 2022
  2. Local Co-Organizer of FOIKS 2020, KI 2017
  3. 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
  4. 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

  1. Member of Dortmund Data Science Center at the TU Dortmund (since 2022)
  2. Former Member of Qualitätsverbesserungskommission (QUEST) at the Department of Computer Science, TU Dortmund (from 2015 to 2022)

Tutorials

  1. 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. Decomposing Constraint Networks for Calculating c-Representations Marco Wilhelm and Gabriele Kern-Isberner. Proceedings of the 38th Conference on Artificial Intelligence (AAAI), 2024
  6. 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)
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Focused Inference and System P Marco Wilhelm and Gabriele Kern-Isberner. Proceedings of the 35th Conference on Artificial Intelligence (AAAI), 2021
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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

  1. 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
  2. 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)
  3. 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)
  4. Decomposing Constraint Networks for Calculating c-Representations 38th Conference on Artificial Intelligence (AAAI 2024). Vancouver, Canada; Video Presentation (February 22-25, 2024)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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
  11. 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)
  12. 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)
  13. 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)
  14. 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
  15. Focused Inference and System P 35th Conference on Artificial Intelligence (AAAI 2021). Virtual Conference; Video Presentation (February 2-9, 2021)
  16. Probabilistic Belief Fusion at Maximum Entropy by First-Order Embedding 18th International Workshop on Non-Monotonic Reasoning. Virtual Workshop (September 13, 2020)
  17. Focused Inference and System P Journal Club of the Working Group Information Engineering, TU Dortmund. Dortmund, Germany (July 8, 2020)
  18. 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)
  19. Probabilistic Inferences Under Maximum Entropy for Description Logics Journal Club of the Working Group Information Engineering, TU Dortmund. _Dortmund, Germany (July 17, 2019)
  20. 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)
  21. 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)
  22. The Probabilistic Description Logic ALC^ME 34th Miniworkshop on Theoretical Computer Science, TU Dortmund. Dortmund, Germany (May 27, 2019)
  23. 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)
  24. A Semantics for Conditionals with Default Negation 3rd Workshop on Human Reasoning and Computational Logic. Dresden, Germany (April 5, 2019)
  25. 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)
  26. 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)
  27. Typed Model Counting Journal Club of the Working Group Information Engineering, TU Dortmund. Dortmund, Germany (July 9, 2018)
  28. 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)
  29. 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)
  30. 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)
  31. (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)
  32. 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)
  33. 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)
  34. A Semantics for Conditionals with Default Negation Journal Club of the Working Group Information Engineering, TU Dortmund. Dortmund, Germany (May 3, 2017)
  35. 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)
  36. 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)
  37. 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)
  38. 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)
  39. 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)
  40. 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)
  41. Probabilistic Knowledge Representation Using Gröbner Basis Theory 23th Miniworkshop on Theoretical Computer Science, TU Dortmund. Dortmund, Germany (June 24, 2013)
  42. 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)

  1. Darstellung, Verarbeitung und Erwerb von Wissen (excersises, in German, winter term 2021/22)
  2. Mathematik für Informatiker II (excercises, in German, summer term 2021)
  3. Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2020/21)
  4. Commonsense Reasoning (exercises, in German, summer term 2020)
  5. Commonsense Reasoning (exercises, in German, summer term 2019)
  6. Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2018/19)
  7. Grundbegriffe der Theoretischen Informatik (exercises, in German, summer term 2018)
  8. Probabilistische Beschreibungslogiken (introductory seminar course assistance, in German, winter term 2014/15)
  9. Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2014/15)
  10. Mathematik für Informatiker II (exercises, in German, summer term 2014)
  11. Darstellung, Verarbeitung und Erwerb von Wissen (exercises, in German, winter term 2013/14)
  12. Mathematik für Informatiker II (exercises + tutorial, in German, summer term 2013)
  13. Mathematik für Informatiker I (exercises + tutorial, in German, winter term 2012/13)

Co-Supervised Theses

  1. Extraktion konditionaler Wissensbasen aus neuronalen Netzen (Alexander Hahn, Master thesis, in German, 2023)
  2. Priorisierung von Antwortmengen mit Rangfunktionen, insbesondere auf Basis des Toleranzbegriffs (Lars-Phillip Spiegel, Master thesis, in German, 2023)
  3. c-Repräsentationen in LEG-Netzen mit positiven Impact-Werten (Arthur Franke, Master thesis, in German, 2022)
  4. Induktives Lernen von ASP-Regeln mit Pruning (Rabina Borici, Bachelor thesis, in German, 2022)
  5. Algorithmic Computation of c-Representations in LEG-Networks (Lorenzo Perez Veenstra, Master thesis, 2021)
  6. ASP-Forgetting-Methoden für Rangfunktionen (Patrick Miß, Bachelor thesis, in German, 2021)
  7. Bestimmung der Äquivalenzklassen möglicher Welten mit Hilfe des Typed Model Countings (Franz Leonhard Nentwich, Bachelor thesis, in German, 2018)
  8. Revisionen von Rangfunktionen mit Meta-Informationen (Christian Riest, Master thesis, in German, 2018)
  9. Probabilistische Wissenskontraktion mit Hilfe von minimaler Relativentropie (Arthur Franke, Bachelor thesis, in German, 2017)
  10. Reaktive Antwortmengenprogrammierung - formale Eigenschaften und logistische Anwendung (Jonas Philipp Haldimann, Bachelor thesis, in German, 2017)
  11. Beschreibungslogische Ontologien für autonome Fahrzeuge in der Logistik (Daniel Gadalla, Bachelor thesis, in German, 2017)
  12. Wissensverarbeitung und Wissensrevision in der Only-Believing Logic (Yannic Twardokus, Bachelor thesis, in German, 2016)
  13. Berechnung minimaler c-Repräsentationen mittels ganzzahliger linearer Programmierung (Sebastian Sewarte, Bachelor thesis, in German, 2016)
  14. Implementierung und Evaluation eines Algorithmus zur Klassifizierung von möglichen Welten bezüglich einer konditionalen Wissensbasis (Christian Riest, Bachelor thesis, in German, 2016)
  15. Iterierte Wissensrevision für Aktionen im Situationskalkül (Melissa Hennes, Master thesis, in German, 2015)
  16. Iterierte Wissensrevision auf totalen Quasiordnungen (Jannis David Junge, Bachelor thesis, in German, 2015)

Misc

  1. ORCiD: 0000-0003-0266-2334
  2. Online Profiles: TU Dortmund, DBLP, Google Scholar, Research Gate, LinkedIn, XING
  3. TOP 4 FLAIRS 2024 Student Paper (FLAIRS 2024; title: “Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance”)
  4. TOP 25% program committee members of AAAI 2021 (AAAI-21-Program-Committee.pdf)
  5. 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”)
  6. Webmaster of NMR Workshop Series, KR 2022, FoIKS 2020, KI 2017, Adler Rauxel
  7. 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)
  8. Award from the German Physical Society (DFG) (for excellent performence in physics in the Abitur in 2005)
  9. Korfball player and official for KV Adler Rauxel e.V.

Skyline of Dortmund