Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
A. J. J. DickJim CunninghamPublished in: CADE (1986)
Keyphrases
- automated reasoning
- reasoning systems
- nonlinear equations
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- reasoning tasks
- decision procedures
- automated verification
- algebraic equations
- knowledge representation and reasoning
- natural language
- neural network
- expert systems
- symbolic representation