Steven Kutsch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models Artificial Intelligence	2021-11-02	Paper
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations International Journal of Approximate Reasoning	2021-10-27	Paper
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions	2021-02-03	Paper
From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming	2020-11-10	Paper
Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases	2020-02-20	Paper
On the antecedent normal form of conditional knowledge bases	2020-02-20	Paper
Systematic generation of conditional knowledge bases up to renaming and equivalence	2020-02-18	Paper
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations Annals of Mathematics and Artificial Intelligence	2019-12-09	Paper
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem Annals of Mathematics and Artificial Intelligence	2018-09-21	Paper
Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions	2018-07-12	Paper
Compilation of conditional knowledge bases for computing c-inference relations	2018-06-26	Paper
System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases International Journal of Approximate Reasoning	2017-11-17	Paper
Comparison of inference relations defined over different sets of ranking functions	2017-09-05	Paper

Research outcomes over time

This page was built for person: Steven Kutsch