Reasoning in Systems of Equations and Inequations.
Chilukuri K. MohanMandayam K. SrivasDeepak KapurPublished in: FSTTCS (1987)
Keyphrases
- reasoning systems
- intelligent systems
- databases
- management system
- complex systems
- multimedia
- knowledge base
- information systems
- artificial intelligence
- planning systems
- model based reasoning
- reasoning process
- linear systems
- knowledge representation systems
- real time
- computer systems
- reason maintenance
- distributed systems
- mobile robot
- hidden markov models
- multiscale
- decision making
- search engine
- machine learning
- data mining
- neural network