Rapid validation of a medical expert system using precedence logic.

James M. Sorace G. William Moore

Published in: CBMS (1993)

Keyphrases

medical expert system
expert systems
knowledge acquisition
knowledge base
modal logic
logic programming
resource constraints
knowledge representation
partial order
computational properties
epistemic logic
automated reasoning
logical framework
predicate logic
asynchronous circuits
proof theory