The following pages link to Kyle Marple (Q2931248):
Displayed 4 items.
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming (Q2931249) (← links)
- Infinite Computation, Co-induction and Computational Logic (Q3090859) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns (Q4593045) (← links)