Finite domain and symbolic inference methods for extensions of first-order logic.
Johan WittocxPublished in: AI Commun. (2011)
Keyphrases
- first order logic
- finite domain
- constraint satisfaction problems
- constraint programming
- constraint propagation
- expressive power
- satisfiability problem
- constraint logic programming
- constraint solving
- knowledge representation
- constraint satisfaction
- inductive logic programming
- theorem prover
- bounded treewidth
- state variables
- constraint solver
- incomplete information
- transitive closure
- answer set programming
- np complete
- quantifier elimination
- temporal constraints
- markov logic networks
- horn clauses
- search space
- fuzzy sets
- query language