Kyle Marple

According to our database, Kyle Marple authored at least 10 papers between 2011 and 2018.

Collaborative distances:

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

2018

Constraint Answer Set Programming without Grounding.

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

Theory Pract. Log. Program., 2018

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

Computing Stable Models of Normal Logic Programs Without Grounding.

Kyle Marple, Elmer Salazar, Gopal Gupta

CoRR, 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

2014

Dynamic Consistency Checking in Goal-Directed Answer Set Programming.

Kyle Marple, Gopal Gupta

Theory Pract. Log. Program., 2014

2012

Goal-directed execution of answer set programs.

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta

Proceedings of the Principles and Practice of Declarative Programming, 2012

Galliwasp: A Goal-Directed Answer Set Solver.

Kyle Marple, Gopal Gupta

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

2011

Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak

Proceedings of the Algebra and Coalgebra in Computer Science, 2011