Integration of automated reasoning and computer algebra systems.
Olga CaprottiVolker SorgePublished in: J. Symb. Comput. (2005)
Keyphrases
- automated reasoning
- theorem prover
- computer algebra systems
- theorem proving
- computer algebra
- reasoning systems
- knowledge representation
- reasoning tasks
- decision procedures
- automated verification
- probabilistic reasoning
- inference rules
- first order logic
- constraint satisfaction
- knowledge representation and reasoning
- neural network
- temporal reasoning
- propositional satisfiability
- search space
- prime implicants
- bayesian networks
- artificial intelligence