Four Approaches to Automated Reasoning with Differential Algebraic Structures.
Jesús AransayClemens BallarinJulio RubioPublished in: AISC (2004)
Keyphrases
- automated reasoning
- algebraic structures
- knowledge representation
- reasoning systems
- theorem proving
- probabilistic reasoning
- reasoning tasks
- automated verification
- decision procedures
- inductive inference
- propositional satisfiability
- knowledge base
- theorem prover
- probabilistic model
- active learning
- relational databases
- expert systems