On the semantics of rule-based expert systems with uncertainty

This publication has 16 references indexed in Scilit:

• On the Declarative Semantics of Logic Programs with Negation
  Published by Elsevier ,1988
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Evidential support logic programming
  Fuzzy Sets and Systems, 1987
• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987
• A system design method from programming logic to multiple-valued logic
  International Journal of Electronics, 1987
• Quantitative deduction and its fixpoint theory
  The Journal of Logic Programming, 1986
• Rule-based systems
  Communications of the ACM, 1985
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Fuzzy Logic and the Resolution Principle
  Journal of the ACM, 1972