Constraint Propagation for First-Order Logic and Inductive Definitions.
Johan WittocxMarc DeneckerMaurice BruynooghePublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- constraint propagation
- first order logic
- inductive logic programming
- knowledge representation
- quantifier elimination
- expressive power
- constraint satisfaction problems
- theorem proving
- propositional logic
- constraint programming
- constraint satisfaction
- inductive learning
- inference rules
- temporal constraints
- constraint solving
- theorem prover
- probabilistic reasoning
- arc consistency
- relational learning
- valued logic
- transitive closure
- markov logic networks
- linear programming
- machine learning
- constraint solver
- finite domain
- search space
- path consistency
- constraint databases
- artificial intelligence