8 citations · 10 across the 6 of their papers we have counts for
4 papers · 1 filter
Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
Xinyu Wang, Momoka Fujieda
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, n…
On Three-Valued Modal Logics: from a Four-Valued Perspective
Xinyu Wang, Yang Song, Satoshi Tojo
This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing phil…
Automated Evaluation for Student Argumentative Writing: A Survey
Xinyu Wang, Yohan Lee, Juneyoung Park
This paper surveys and organizes research works in an under-studied area, which we call automated evaluation for student argumentative writing. Unlike traditional automated writing…
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning
Xinyu Wang
Bayesian reasoning plays a significant role both in human rationality and in machine learning. In this paper, we introduce transfinite modal logic, which combines modal logic with…