Editorial: The Integration of Automated Reasoning and Computer Algebra Systems.
Steve LintonRoberto SebastianiPublished in: J. Symb. Comput. (2002)
Keyphrases
- automated reasoning
- theorem prover
- computer algebra systems
- theorem proving
- computer algebra
- reasoning systems
- decision procedures
- first order logic
- automated verification
- probabilistic reasoning
- knowledge representation
- reasoning tasks
- inference rules
- special issue
- propositional satisfiability
- knowledge representation and reasoning
- prime implicants
- special case
- relational databases