Using the dlv System for Planning and Diagnostic Reasoning.
Thomas EiterWolfgang FaberNicola LeoneGerald PfeiferAxel PolleresPublished in: WLP (2000)
Keyphrases
- diagnostic reasoning
- medical diagnosis
- reasoning systems
- model based diagnosis
- bayesian networks
- uncertain knowledge
- planning problems
- diagnostic problem solving
- belief networks
- influence diagrams
- reinforcement learning
- search algorithm
- disjunctive logic programming
- answer sets
- automated reasoning
- special case
- neural network