Termination Analysis of OPS5 Expert Systems.
Hsiu-yen TsaiAlbert Mo Kim ChengPublished in: AAAI (1994)
Keyphrases
- expert systems
- termination analysis
- active rules
- active databases
- abstract interpretation
- knowledge based systems
- production system
- knowledge acquisition
- fault diagnosis
- integrity constraints
- artificial intelligence
- knowledge base
- knowledge representation
- deductive databases
- description language
- relational databases
- query language