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 | 50 | 2018 |
A practical comparison of qualitative inferences with preferred ranking models C Beierle, C Eichhorn, S Kutsch KI-Künstliche Intelligenz 31, 41-52, 2017 | 31 | 2017 |
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 | 26 | 2021 |
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 | 21 | 2016 |
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 | 18 | 2019 |
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 | 17 | 2019 |
InfOCF-Lib: A Java Library for OCF-based Conditional Inference. S Kutsch DKB/KIK@ KI, 47-58, 2019 | 16 | 2019 |
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions. S Kutsch, C Beierle IJCAI, 4996-4999, 2021 | 14 | 2021 |
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 | 14 | 2018 |
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 | 10 | 2019 |
On the antecedent normal form of conditional knowledge bases C Beierle, S Kutsch Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019 | 8 | 2019 |
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 | 6 | 2017 |
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 | 6 | 2017 |
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 | 5 | 2021 |
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 | 5 | 2017 |
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 | 4 | 2021 |
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 | 4 | 2017 |
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 | 3 | 2019 |
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 | 3 | 2019 |
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 | 3 | 2016 |