A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.
Jean Christophe MadreOlivier CoudertPublished in: IJCAI (1991)
Keyphrases
- constraint solver
- constraint solving
- logical reasoning
- constraint propagation
- linear constraints
- probabilistic logic
- constraint programming
- logical formulas
- knowledge base
- constraint satisfaction problems
- knowledge representation
- real numbers
- logical rules
- constraint satisfaction
- np complete
- evolutionary algorithm
- arc consistency algorithm
- sat solvers
- heuristic search
- relational databases
- high dimensional