The intelligent CAI system for chemistry based on automated reasoning.
Xiaojing WangJingzhong ZhangPublished in: J. Comput. Sci. Technol. (1999)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- decision procedures
- probabilistic reasoning
- reasoning tasks
- automated verification
- computer assisted instruction
- web based learning
- cooperative learning
- knowledge representation and reasoning
- artificial intelligence
- expert systems
- propositional satisfiability