Generating Conflict-Free Treatments for Patients with Comorbidity Using Answer Set Programming.
Elie MerhejSteven SchockaertT. Greg McKelveyMartine De CockPublished in: KR4HC/ProHealth@HEC (2016)
Keyphrases
- answer set programming
- conflict free
- logic programs
- logic programming
- clinical trials
- functional dependencies
- answer sets
- answer set programs
- constraint logic programming
- database schemes
- stable model semantics
- causal theories
- disjunctive logic programming
- update semantics
- database design
- declarative programming
- qualitative spatial and temporal reasoning
- modulo theories
- haplotype inference
- data mining
- normal form
- data exchange
- integrity constraints
- orders of magnitude
- decision makers
- knowledge representation
- lower bound
- optimal solution