Follow
Steven Kutsch
Steven Kutsch
Verified email at fernuni-hagen.de
Title
Cited by
Cited by
Year
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
C Beierle, C Eichhorn, G Kern-Isberner, S Kutsch
Annals of Mathematics and Artificial Intelligence 83, 247-275, 2018
472018
A practical comparison of qualitative inferences with preferred ranking models
C Beierle, C Eichhorn, S Kutsch
KI-Künstliche Intelligenz 31, 41-52, 2017
292017
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
C Beierle, C Eichhorn, G Kern-Isberner, S Kutsch
Artificial Intelligence 297, 103489, 2021
252021
Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
C Beierle, C Eichhorn, G Kern-Isberner, S Kutsch
Proceedings of the Twenty-second European Conference on Artificial …, 2016
212016
Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents
C Beierle, S Kutsch
Applied Intelligence 49 (1), 28-43, 2019
172019
InfOCF-Lib: A Java Library for OCF-based Conditional Inference.
S Kutsch
DKB/KIK@ KI, 47-58, 2019
152019
Compilation of conditional knowledge bases for computing C-inference relations
C Beierle, S Kutsch, K Sauerwald
International Symposium on Foundations of Information and Knowledge Systems …, 2018
132018
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
S Kutsch, C Beierle
IJCAI, 4996-4999, 2021
122021
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
C Beierle, S Kutsch, K Sauerwald
Annals of Mathematics and Artificial Intelligence 87 (1), 5-41, 2019
122019
Systematic generation of conditional knowledge bases up to renaming and equivalence
C Beierle, S Kutsch
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
102019
On the antecedent normal form of conditional knowledge bases
C Beierle, S Kutsch
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019
82019
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
C Beierle, T Falke, S Kutsch, G Kern-Isberner
International Journal of Approximate Reasoning 90, 120-143, 2017
62017
Regular and sufficient bounds of finite domain constraints for skeptical c-inference
C Beierle, S Kutsch
Advances in Artificial Intelligence: From Theory to Practice: 30th …, 2017
62017
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
S Kutsch, C Beierle
International Journal of Approximate Reasoning 130, 297-313, 2021
52021
Comparison of inference relations defined over different sets of ranking functions
C Beierle, S Kutsch
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2017
52017
A complete map of conditional knowledge bases in different normal forms and their induced system P inference relations over small signatures
C Beierle, J Haldimann, S Kutsch
The International FLAIRS Conference Proceedings 34, 2021
42021
On the interrelationships among c-inference relations based on preferred models for sets of default rules
C Beierle, S Kutsch, A Obergrusberger
The Thirtieth International Flairs Conference, 2017
42017
Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
S Kutsch, C Beierle
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019
32019
Minimal tolerance pairs for system Z-like ranking functions for first-order conditional knowledge bases
C Beierle, T Falke, S Kutsch, G Kern-Isberner
The Twenty-Ninth International Flairs Conference, 2016
32016
On rational monotony and weak rational monotony for inference relations induced by sets of minimal c-representations
C Beierle, S Kutsch, H Breuers
The Thirty-Second International Flairs Conference, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20