Implementing Reasoning Modules in Implicit Induction Theorem Provers.
Sorin StratulatPublished in: SYNASC (2014)
Keyphrases
- theorem prover
- automated reasoning
- proof planning
- automated theorem proving
- proof search
- computer algebra systems
- theorem proving
- reasoning systems
- first order logic
- reasoning tasks
- computer algebra
- automated deduction
- higher order logic
- inference rules
- inductive reasoning
- modular ontologies
- concept formation
- qualitative reasoning
- proof procedure
- formal semantics
- knowledge representation
- qualitative models
- knowledge base
- building intelligent
- probabilistic reasoning
- timed automata
- training examples
- graphical models
- lower layers