| 2026 | FlAIRS | Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases. | Christoph Beierle, Aron Spang, Lars-Phillip Spiegel, Jonas Haldimann |
| 2025 | ECSQARU | Implementing Lexicographic Inference Using Partial MaxSAT. | Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle |
| 2025 | IJCAI | Generalized Safe Conditional Syntax Splitting of Belief Bases. | Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle |
| 2025 | JELIA | The InfOCF Library for Reasoning With Conditional Belief Bases. | Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg |
| 2025 | JELIA | Towards Practicable Defeasible Reasoning for ABoxes. | Jonas Haldimann, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. | Giovanni Casini, Jonas Haldimann, Thomas Meyer |
| 2024 | FlAIRS | A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. | Christoph Beierle, Aron Spang, Jonas Haldimann |
| 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 |
| 2024 | KR | Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. | Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle |
| 2023 | ECSQARU | Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. | Jonas Haldimann, Christoph Beierle |
| 2023 | FlAIRS | Observational Equivalence of Conditional Belief Bases. | Christoph Beierle, Jonas Haldimann, Leon Schwarzer |
| 2023 | FlAIRS | Conditionals, Infeasible Worlds, and Reasoning with System W. | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer |
| 2023 | JELIA | Rational Closure Extension in SPO-Representable Inductive Inference Operators. | Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle |
| 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 |
| 2022 | FlAIRS | Normal Forms of Conditional Belief Bases Respecting Inductive Inference. | Christoph Beierle, Jonas Haldimann |
| 2022 | KI | An Implementation of Nonmonotonic Reasoning with System W. | Christoph Beierle, Jonas Haldimann, Daniel Kollr, Kai Sauerwald, Leon Schwarzer |
| 2022 | KR | Inference with System W Satisfies Syntax Splitting. | Jonas Haldimann, Christoph Beierle |
| 2021 | FlAIRS | A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. | Christoph Beierle, Jonas Haldimann, Steven Kutsch |
| 2021 | JELIA | Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | JELIA | Conditional Descriptor Revision and Its Modelling by a CSP. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | KI | On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. | Jonas Haldimann, Gabriele Kern-Isberner |
| 2021 | SAC | Towards a framework of hansson's descriptor revision for conditionals. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | FlAIRS | Transforming Conditional Knowledge Bases into Renaming Normal Form. | Christoph Beierle, Jonas Haldimann |
| 2020 | KI | Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. | Jonas Haldimann, Anna Osiak, Christoph Beierle |
| 2020 | KI | Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. | Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle |
| 2019 | ITiCSE | Teaching Logic with Iltis: an Interactive, Web-Based System. | Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume |
| 2019 | KI | WHIWAP: Checking Iterative Belief Changes. | Kai Sauerwald, Jonas Haldimann |