Bound Propagation for Arithmetic Reasoning in Vampire.
Ioan DraganKonstantin KorovinLaura KovácsAndrei VoronkovPublished in: SYNASC (2013)
Keyphrases
- upper bound
- knowledge base
- automated reasoning
- lower bound
- worst case
- belief updating
- reasoning systems
- probabilistic reasoning
- expert systems
- knowledge representation
- bayesian networks
- arithmetic operations
- reasoning tasks
- consistency checking
- knowledge representation and reasoning
- reasoning problems
- analogical reasoning
- spatial reasoning
- computational properties
- qualitative reasoning
- genetic algorithm
- decision making
- information systems