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

DOI10.1017/S1471068416000429zbMath1379.68307arXiv1610.08115MaRDI QIDQ4593045

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

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.08115

zbMATH Keywords

automated reasoningknowledge representationanswer set programmingchronic disease managementknowledge pattern

Mathematics Subject Classification ID

Medical applications (general) (92C50) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (4)

Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ An ASP-based Approach to Answering Natural Language Questions for Texts ⋮ Proof-theoretic foundations of normal logic programs ⋮ Unnamed Item

Cites Work

• Conflict-driven answer set solving: from theory to practice
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns