Kyle Marple

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 8

Top Topics

Answer Set Programming

Abductive Reasoning

Causal Theories

Top Venues

Theory Pract. Log. Program.

Publications

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18 (3-4) (2018)
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. CoRR (2017)
Kyle Marple, Elmer Salazar, Gopal Gupta
Computing Stable Models of Normal Logic Programs Without Grounding. CoRR (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
Improving adherence to heart failure management guidelines via abductive reasoning. Theory Pract. Log. Program. 17 (5-6) (2017)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns. CoRR (2016)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Theory Pract. Log. Program. 16 (5-6) (2016)
Kyle Marple, Gopal Gupta
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. CoRR (2014)
Kyle Marple, Gopal Gupta
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta
Goal-directed execution of answer set programs. PPDP (2012)
Kyle Marple, Gopal Gupta
Galliwasp: A Goal-Directed Answer Set Solver. LOPSTR (2012)
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)