Medical Treatment Conflict Resolving in Answer Set Programming.
Forrest Sheng BaoZhizheng ZhangYuanlin ZhangPublished in: AAAI (2011)
Keyphrases
- answer set programming
- medical treatment
- logic programming
- answer sets
- logic programs
- constraint logic programming
- liver disease
- stable model semantics
- causal theories
- haplotype inference
- answer set programs
- early diagnosis
- knowledge representation
- update semantics
- disjunctive logic programming
- qualitative spatial and temporal reasoning
- inductive logic programming
- stable models
- object oriented