| 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 | IJCAI | InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. | Steven Kutsch, Christoph Beierle |
| 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 | 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 | JELIA | Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. | Christoph Beierle, Steven Kutsch |
| 2019 | KI | InfOCF-Lib: A Java Library for OCF-based Conditional Inference. | Steven Kutsch |
| 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 |