Steven Kutsch

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