Zhuo Chen

According to our database, Zhuo Chen authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2023

2021

Formalizing Informal Logic and Natural Language Deductivism.

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

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Justifications for Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Constraint Answer Set Programming without Grounding and its Applications.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Datalog 2.0 2019, 2019

2017

Improving adherence to heart failure management guidelines via abductive reasoning.

Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin

Theory Pract. Log. Program., 2017

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning.

Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin

CoRR, 2017

A Case for Query-driven Predicate Answer Set Programming.

Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin

Proceedings of the ARCADE 2017, 2017

2016

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.

Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil

Theory Pract. Log. Program., 2016