C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines.
Arjen Hommersom
Perry Groot
Peter J. F. Lucas
Michael Balser
Jonathan Schmitt
Published in:
SGAI Conf. (2006)
Keyphrases
</>
background knowledge
inductive logic programming
domain knowledge
logic programs
medical knowledge
positive examples
additional knowledge
prior knowledge
representation language
knowledge base
semantic information
domain theory
databases
reinforcement learning
search space
active learning