Steven Kutsch

Orcid: 0000-0003-1670-737X

According to our database1, Steven Kutsch authored at least 22 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions.
PhD thesis, 2021

Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations.
Int. J. Approx. Reason., 2021

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Artif. Intell., 2021

InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

2019
Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents.
Appl. Intell., 2019

Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations.
Ann. Math. Artif. Intell., 2019

InfOCF-Lib: A Java Library for OCF-based Conditional Inference.
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), 2019

Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

On the Antecedent Normal Form of Conditional Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
Ann. Math. Artif. Intell., 2018

Compilation of Conditional Knowledge Bases for Computing C-Inference Relations.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models.
Künstliche Intell., 2017

System Z<sup>FO</sup>: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Int. J. Approx. Reason., 2017

Regular and Sufficient Bounds of Finite Domain Constraints for Skeptical C-Inference.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

On the Interrelationships Among C-Inference Relations Based on Preferred Models for Sets of Default Rules.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Comparison of Inference Relations Defined over Different Sets of Ranking Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016


  Loading...