Steven Kutsch

From MaRDI portal
Person:1647471

Available identifiers

zbMath Open kutsch.stevenMaRDI QIDQ1647471

List of research outcomes





PublicationDate of PublicationType
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models2021-11-02Paper
Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations2021-10-27Paper
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions2021-02-03Paper
From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming2020-11-10Paper
Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases2020-02-20Paper
On the antecedent normal form of conditional knowledge bases2020-02-20Paper
Systematic generation of conditional knowledge bases up to renaming and equivalence2020-02-18Paper
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations2019-12-09Paper
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem2018-09-21Paper
Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions2018-07-12Paper
Compilation of conditional knowledge bases for computing c-inference relations2018-06-26Paper
System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases2017-11-17Paper
Comparison of inference relations defined over different sets of ranking functions2017-09-05Paper

Research outcomes over time

This page was built for person: Steven Kutsch