| 2026 | FlAIRS | Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases. | Christoph Beierle, Aron Spang, Lars-Phillip Spiegel, Jonas Haldimann |
| 2026 | KR | Safely Decomposing Conditional Belief Bases Into c-LEG Networks. | Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Marco Wilhelm, Christoph Beierle |
| 2025 | ECSQARU | Explaining Changes in Total Preorders and Ranking Functions. | Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle |
| 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 |
| 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 | AAAI | Conditional Syntax Splitting for Non-monotonic Inference Operators. | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle |
| 2023 | ECSQARU | Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. | Martin von Berg, Arthur Sanin, Christoph Beierle |
| 2023 | ECSQARU | Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. | Jonas Haldimann, Christoph Beierle |
| 2023 | ECSQARU | On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. | Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, 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 |
| 2023 | KR | Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. | Jonas Philipp Haldimann, Christoph Beierle |
| 2022 | FlAIRS | Realization of c-Inference as a SAT Problem. | Christoph Beierle, Martin von Berg, Arthur Sanin |
| 2022 | FlAIRS | Normal Forms of Conditional Belief Bases Respecting Inductive Inference. | Christoph Beierle, Jonas Haldimann |
| 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 |
| 2022 | IJCAI | Conditional Independence for Iterated Belief Revision. | Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle |
| 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 |
| 2022 | KR | Iterated Belief Change, Computationally. | Kai Sauerwald, 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 | FlAIRS | Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. | Christoph Beierle, Gabriele Kern-Isberner |
| 2021 | IJCAI | InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. | Steven Kutsch, Christoph Beierle |
| 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 | A Brief Introduction Into Activation-Based Conditional Inference. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 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 | ECAI | Cognitive Logics - Features, Formalisms, and Challenges. | Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald |
| 2020 | ECAI | A Conditional Perspective for Iterated Belief Contraction. | Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | FlAIRS | Transforming Conditional Knowledge Bases into Renaming Normal Form. | Christoph Beierle, Jonas Haldimann |
| 2020 | ISAIM | Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. | Christian Komo, Christoph Beierle |
| 2020 | KI | Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. | Jonas Haldimann, Anna Osiak, Christoph Beierle |
| 2020 | KI | Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds. | Christian Komo, Christoph Beierle |
| 2020 | KI | Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. | Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle |
| 2020 | KR | Syntax Splitting for Iterated Contractions. | Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | KR | Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. | Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka |
| 2019 | ECSQARU | On the Antecedent Normal Form of Conditional Knowledge Bases. | Christoph Beierle, Steven Kutsch |
| 2019 | ECSQARU | Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. | Steven Kutsch, Christoph Beierle |
| 2019 | ECSQARU | Decrement Operators in Belief Change. | Kai Sauerwald, Christoph Beierle |
| 2019 | FlAIRS | On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. | Christoph Beierle, Steven Kutsch, Henning Breuers |
| 2019 | FlAIRS | Axiomatic Evaluation of Epistemic Forgetting Operators. | Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald |
| 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 | ICAART | Implementation of Trajectory Planning for Automated Driving Systems using Constraint Logic Programming. | Christian Wriedt, Christoph Beierle |
| 2019 | JELIA | Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. | Christoph Beierle, Steven Kutsch |
| 2019 | PRICAI | Belief Change Properties of Forgetting Operations over Ranking Functions. | Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle |
| 2019 | SAC | Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. | Christoph Beierle |
| 2018 | CogSci | Towards a Formal Foundation of Cognitive Architectures. | Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle |
| 2018 | FlAIRS | Decision Support Core System for Cancer Therapies Using ASP-HEX. | Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke |
| 2018 | KI | Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. | Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald |
| 2018 | KI | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. | Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niedere, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle |
| 2017 | CBMS | On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. | Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke |
| 2017 | ECSQARU | A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. | Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner |
| 2017 | ECSQARU | Comparison of Inference Relations Defined over Different Sets of Ranking Functions. | Christoph Beierle, Steven Kutsch |
| 2017 | FlAIRS | On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules. | Christoph Beierle, Steven Kutsch, Andreas Obergrusberger |
| 2016 | ECAI | Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. | Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch |
| 2016 | FlAIRS | Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. | Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner |
| 2016 | KI | Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. | Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke |
| 2015 | ECSQARU | Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases. | Christoph Beierle, Nico Potyka, Josef Baudisch, Marc Finthammer |
| 2015 | FlAIRS | A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. | Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner |
| 2015 | KI | A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. | Christoph Beierle, Florian Brons, Nico Potyka |
| 2015 | KI | Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics. | Marc Finthammer, Christoph Beierle |
| 2014 | AIMSA | Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. | Sibylle Mhle, Michael Brndl, Christoph Beierle |
| 2014 | CADE | Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. | Christoph Beierle, Markus Hhnerbach, Marcus Marto |
| 2014 | FlAIRS | Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. | Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner |
| 2014 | FlAIRS | Implementation of a Transformation System for Relational Probabilistic Knowledge Bases Simplifying the Maximum Entropy Model Computation. | Christoph Beierle, Markus Hhnerbach, Marcus Marto |
| 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 |
| 2013 | CBMS | Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. | Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner |
| 2013 | ECSQARU | A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. | Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner |
| 2013 | ECSQARU | On the Problem of Reversing Relational Inductive Knowledge Representation. | Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner |
| 2013 | FlAIRS | Special Track on Uncertain Reasoning. | Christoph Beierle, Souhila Kaci |
| 2013 | KI | Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. | Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner |
| 2012 | CBMS | PaMiNI: A comprehensive system for mining frequent neuronal patterns of the human brain. | Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle |
| 2012 | FlAIRS | Conditional Objects Revisited: Variants and Model Translations. | Christoph Beierle, Gabriele Kern-Isberner |
| 2012 | GI | Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. | Christoph Beierle, Gabriele Kern-Isberner, Karl Sdler |
| 2012 | IPMU | Coordinate-Based Pattern-Mining on Functional Neuroimaging Databases. | Julian Caspers, Karl Zilles, Simon B. Eickhoff, Christoph Beierle |
| 2012 | IPMU | Biomedical Diagnosis Based on Ion Mobility Spectrometry - A Case Study Using Probabilistic Relational Modelling and Learning. | Marc Finthammer, Ryszard Masternak, Christoph Beierle |
| 2012 | JELIA | How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. | Marc Finthammer, Christoph Beierle |
| 2012 | KI | Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. | Marc Finthammer, Christoph Beierle |
| 2011 | DEXA | Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. | Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm |
| 2011 | GI | On the computation of ranking functions for default rules - A challenge for constraint programming. | Christoph Beierle, Gabriele Kern-Isberner |
| 2011 | KI | Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2011 | KI | Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity. | Ruth Janning, Christoph Beierle |
| 2010 | CADE | Automated Reasoning for Relational Probabilistic Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | COMMA | Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. | Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | FlAIRS | A System for Relational Probabilistic Reasoning on Maximum Entropy. | Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle |
| 2010 | IPMU | Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. | Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Blent Mller, Jrg Ingo Baumbach |
| 2009 | FlAIRS | Probabilistic Reasoning at Optimum Entropy with the MEcore System. | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2009 | KI | A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. | Christoph Beierle, Gabriele Kern-Isberner |
| 2009 | LPNMR | An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2008 | CADE | A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
| 2007 | FlAIRS | Learning Uncertain Rules with CONDORCKD. | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle |
| 2007 | PADL | Algebraic Knowledge Discovery Using Haskell. | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Mller |
| 2006 | FlAIRS | A Note on Comparing Semantics for Conditionals. | Christoph Beierle, Gabriele Kern-Isberner |
| 2005 | LPNMR | Using Answer Set Programming for a Decision Support System. | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
| 2003 | LPAR | A Logical Study on Qualitative Default Reasoning with Probabilities. | Christoph Beierle, Gabriele Kern-Isberner |
| 2002 | JELIA | Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. | Christoph Beierle, Gabriele Kern-Isberner |
| 1999 | FLOPS | Using Types as Approximations for Type Checking Prolog Programs. | Christoph Beierle, Gregor Meyer |
| 1999 | GI | Combining Strict and Soft Typing in Functional Programming. | Manfred Widera, Christoph Beierle |
| 1995 | ICLP | Type Inferencing for Polymorphic Order-Sorted Logic Programs. | Christoph Beierle |
| 1991 | CSL | Correctness Proof For the WAM with Types. | Christoph Beierle, Egon Brger |
| 1989 | WI | PROTOS-L: Towards a Knowledge Base Programming Language. | Christoph Beierle, Stefan Bttcher |
| 1988 | COLING | Feature graphs and abstract data types: a unifying approach. | Christoph Beierle, Udo Pletat |
| 1988 | CSL | The Knowledge Representation Language L | Christoph Beierle, Jochen Drre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
| 1987 | STACS | On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. | Christoph Beierle, Angi Vo |
| 1986 | CADE | Automatic Theorem Proving in the ISDV System. | Christoph Beierle, Walter G. Olthoff, Angi Vo |
| 1982 | ECAI | Synthesizing Minimal Programs from Traces of Observable Behaviour. | Christoph Beierle |