Declarative Programming and Clinical Medicine.

Olof Torgersson

Published in: PADL (2002)

Keyphrases

clinical medicine
declarative programming
answer set programming
logic programming
logic programs
search problems
stable model semantics
query processing
organic chemistry
machine learning
bayesian networks
programming language
statistically significant
first order logic
nonmonotonic reasoning