Login / Signup

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.

Arjen HommersomPeter J. F. LucasMichael Balser
Published in: JELIA (2004)
Keyphrases
  • meta level
  • object level
  • distributed problem solving
  • high quality
  • domain knowledge
  • interactive theorem proving
  • medical knowledge
  • viewpoint
  • prior knowledge