Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine

This publication has 8 references indexed in Scilit:

• Automating assistance for safety critical decisions
  Philosophical Transactions of the Royal Society of London. B, Biological Sciences, 1990
• Deductive data modeling: A new trend in database management for decision support systems
  Decision Support Systems, 1990
• Behavioural decision theory and it's implication for knowledge engineering
  The Knowledge Engineering Review, 1990
• Using predicate logic to integrate qualitative reasoning and classical decision theory
  IEEE Transactions on Systems, Man, and Cybernetics, 1990
• Evaluating and validating very large knowledge-based systems
  Medical Informatics, 1990
• Deductive database theories
  The Knowledge Engineering Review, 1989
• Fundamentals of Expert Systems
  Annual Review of Computer Science, 1988
• Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems
  Journal of the Royal Statistical Society Series B: Statistical Methodology, 1988