Towards Automated Reasoning on the Properties of Numerical Constraints.
Lucas BordeauxÉric MonfroyFrédéric BenhamouPublished in: International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- probabilistic reasoning
- theorem proving
- theorem prover
- reasoning tasks
- automated verification
- constraint satisfaction
- object oriented
- knowledge representation and reasoning
- propositional satisfiability
- inference rules
- desirable properties
- supervised learning
- lower bound
- bayesian networks