Steven Kutsch

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 21

Top Topics

Nonmonotonic Inference

Default Reasoning

Top Venues

FLAIRS Conference

Ann. Math. Artif. Intell.

Int. J. Approx. Reason.

Publications

Steven Kutsch, Christoph Beierle
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. Int. J. Approx. Reason. 130 (2021)
Steven Kutsch, Christoph Beierle
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. IJCAI (2021)
Christoph Beierle, Jonas Haldimann, Steven Kutsch
A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS Conference (2021)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297 (2021)
Steven Kutsch
InfOCF-Lib: A Java Library for OCF-based Conditional Inference. DKB/KIK@KI (2019)
Christoph Beierle, Steven Kutsch
Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. 49 (1) (2019)
Christoph Beierle, Steven Kutsch
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. JELIA (2019)
Steven Kutsch, Christoph Beierle
Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases. ECSQARU (2019)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Christoph Beierle, Steven Kutsch, Henning Breuers
On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations. FLAIRS Conference (2019)
Christoph Beierle, Steven Kutsch
On the Antecedent Normal Form of Conditional Knowledge Bases. ECSQARU (2019)
Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS (2018)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Christoph Beierle, Christian Eichhorn, Steven Kutsch
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models. Künstliche Intell. 31 (1) (2017)
Christoph Beierle, Steven Kutsch
Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference. IEA/AIE (1) (2017)
Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. Int. J. Approx. Reason. 90 (2017)
Christoph Beierle, Steven Kutsch
Comparison of Inference Relations Defined over Different Sets of Ranking Functions. ECSQARU (2017)
Christoph Beierle, Steven Kutsch, Andreas Obergrusberger
On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules. FLAIRS Conference (2017)
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI (2016)
Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS Conference (2016)