Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (ECAI, 2016)

Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. - Christoph Beierle; Tobias Falke; Steven Kutsch; Gabriele Kern-Isberner (FLAIRS, 2016)

Comparison of Inference Relations Defined over Different Sets of Ranking Functions. - Christoph Beierle; Steven Kutsch (ECSQARU, 2017)

On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules. - Christoph Beierle; Steven Kutsch; Andreas Obergrusberger (FLAIRS, 2017)

Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference. - Christoph Beierle; Steven Kutsch (IEA/AIE (1), 2017)

System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. - Christoph Beierle; Tobias Falke; Steven Kutsch; Gabriele Kern-Isberner (Int. J. Approx. Reason., 2017)

A Practical Comparison of Qualitative Inferences with Preferred Ranking Models. - Christoph Beierle; Christian Eichhorn 001; Steven Kutsch (Künstliche Intell., 2017)

From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. - Christoph Beierle; Steven Kutsch; Gabriele Kern-Isberner (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. - Christoph Beierle; Steven Kutsch; Kai Sauerwald (FoIKS, 2018)

Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (Ann. Math. Artif. Intell., 2018)

On the Antecedent Normal Form of Conditional Knowledge Bases. - Christoph Beierle; Steven Kutsch (ECSQARU, 2019)

Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. - Steven Kutsch; Christoph Beierle (ECSQARU, 2019)

On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. - Christoph Beierle; Steven Kutsch; Henning Breuers (FLAIRS, 2019)

Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. - Christoph Beierle; Steven Kutsch (JELIA, 2019)

InfOCF-Lib: A Java Library for OCF-based Conditional Inference. - Steven Kutsch (DKB/KIK@KI, 2019)

Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. - Christoph Beierle; Steven Kutsch; Kai Sauerwald (Ann. Math. Artif. Intell., 2019)

Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. - Christoph Beierle; Steven Kutsch (Appl. Intell., 2019)

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 (FLAIRS, 2021)

InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. - Steven Kutsch; Christoph Beierle (IJCAI, 2021)

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. - Christoph Beierle; Christian Eichhorn 001; Gabriele Kern-Isberner; Steven Kutsch (Artif. Intell., 2021)

Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. - Steven Kutsch; Christoph Beierle (Int. J. Approx. Reason., 2021)

Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions. - Steven Kutsch (IOS Press, 2021)