Zhuo Chen

13 papers C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 C conf
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.
PADL
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
2022 J jnl
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
2021 J jnl
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
CoRR
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2020 — conf
Justifications for Goal-Directed Constraint Answer Set Programming.
ICLP Technical Communications
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 — conf
Constraint Answer Set Programming without Grounding and its Applications.
Datalog
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 C conf
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.
LOPSTR
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
2017 — conf
A Case for Query-driven Predicate Answer Set Programming.
ARCADE@CADE
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
2017 — —
Automating Disease Management Using Answer Set Programming: Heart Failure.
Zhuo Chen
2017 J jnl
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning.
CoRR
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
2017 J jnl
Improving adherence to heart failure management guidelines via abductive reasoning.
Theory Pract. Log. Program.
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
2016 J jnl
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns.
CoRR
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
2016 J jnl
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.
Theory Pract. Log. Program.
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil