65 citations · 98 across the 4 of their papers we have counts for
4 papers
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model com…
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable…
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning
Zhuo Chen, Elmer Salazar, Kyle Marple +4
Management of chronic diseases such as heart failure (HF) is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a commi…
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns
Zhuo Chen, Kyle Marple, Elmer Salazar +2
Management of chronic diseases such as heart failure, diabetes, and chronic obstructive pulmonary disease (COPD) is a major problem in health care. A standard approach that the med…