14 citations · 19 across the 4 of their papers we have counts for
4 papers
Defeasible Reasoning on Concepts
Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni +1
In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative re…
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…
An annotated grain kernel image database for visual quality inspection
Lei Fan, Yiwen Ding, Dongdong Fan +4
We present a machine vision-based database named GrainSet for the purpose of visual quality inspection of grain kernels. The database contains more than 350K single-kernel images w…
Causal Kripke Models
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis +2
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality wi…