Ternary Propagation-Based Local Search for more Bit-Precise Reasoning.
Aina NiemetzMathias PreinerPublished in: FMCAD (2020)
Keyphrases
- search algorithm
- genetic algorithm
- reasoning systems
- search space
- knowledge representation
- qualitative reasoning
- belief updating
- reasoning mechanisms
- reasoning process
- global search
- artificial intelligence
- rule based reasoning
- reasoning tasks
- simulated annealing
- spatial reasoning
- memetic algorithm
- automated reasoning
- description logics
- legal reasoning
- computational properties
- bayesian networks
- analogical reasoning
- model based reasoning
- wave propagation
- knowledge base
- combinatorial optimization