Constraint Propagation for Extended First-Order Logic
Johan WittocxMarc DeneckerMaurice BruynooghePublished in: CoRR (2010)
Keyphrases
- first order logic
- constraint propagation
- quantifier elimination
- expressive power
- constraint satisfaction problems
- constraint programming
- theorem proving
- propositional logic
- constraint satisfaction
- constraint solving
- inference rules
- temporal constraints
- probabilistic reasoning
- theorem prover
- knowledge representation
- monadic second order logic
- transitive closure
- constraint databases
- arc consistency
- inductive logic programming
- markov logic networks
- machine learning
- linear programming
- finite domain
- path consistency
- data complexity
- databases
- knowledge base
- database systems
- objective function
- computational complexity
- markov random field
- graphical models
- np complete