A logic oriented diagnostic program.
Herman JacobowitzPublished in: AFIPS Spring Joint Computing Conference (1967)
Keyphrases
- expert systems
- multi valued
- logic programming
- classical logic
- declarative semantics
- medical diagnosis
- computer programs
- logical framework
- real time
- decision making
- asynchronous circuits
- program execution
- functional programs
- database
- programs written
- diagnostic reasoning
- set theory
- programming environment
- static analysis
- modal logic
- learning algorithm
- neural network