Steven Kutsch

Available identifiers

zbMath Open kutsch.stevenMaRDI QIDQ1647471

List of research outcomes

Publication	Date of Publication	Type
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models	2021-11-02	Paper
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations	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	2019-12-09	Paper
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem	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	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