| 2026 | KI | c-Core Revision for Conditional Belief Bases. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2026 | KR | Safely Decomposing Conditional Belief Bases Into c-LEG Networks. | Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Marco Wilhelm, Christoph Beierle |
| 2025 | FlAIRS | Integrated Use of System Z for Preferred Answer Set Programming. | Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner |
| 2024 | AAAI | Decomposing Constraint Networks for Calculating c-Representations. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2024 | FlAIRS | Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. | Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner |
| 2024 | KR | Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. | Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2023 | FlAIRS | An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. | Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl |
| 2023 | FlAIRS | Prioritizing Answer Sets Based on Conditional Expert Knowledge. | Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner |
| 2023 | JELIA | Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. | Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck |
| 2023 | KR | Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning. | Marco Wilhelm |
| 2022 | FlAIRS | 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, Christoph Beierle |
| 2021 | AAAI | Focused Inference and System P. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2021 | KI | A Brief Introduction Into Activation-Based Conditional Inference. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 2020 | FlAIRS | Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2019 | FlAIRS | Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. | Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle |
| 2019 | JELIA | Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
| 2017 | ECSQARU | A Semantics for Conditionals with Default Negation. | Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner |
| 2017 | FlAIRS | Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. | Marco Wilhelm, Gabriele Kern-Isberner |
| 2016 | FlAIRS | Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke |
| 2014 | FlAIRS | A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. | Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle |
| 2014 | ISAIM | Probabilistic Knowledge Representation Using Grbner Basis Theory. | Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle |