Abstract Domains and Solvers for Sets Reasoning.
Arlen CoxBor-Yuh Evan ChangHuisong LiXavier RivalPublished in: LPAR (2015)
Keyphrases
- computationally hard problems
- reasoning systems
- application domains
- probabilistic reasoning
- model based reasoning
- knowledge base
- case based reasoner
- real world
- artificial intelligence
- knowledge representation
- sat solvers
- spatial reasoning
- sat solving
- definite clause
- reasoning processes
- analogical reasoning
- reasoning process
- automated reasoning
- search strategies
- case based reasoning
- high level
- learning algorithm