Predicate Anti-unification in (Constraint) Logic Programming.
Gonzague YernauxWim VanhoofPublished in: LOPSTR (2023)
Keyphrases
- constraint logic programming
- anti unification
- first order logic
- analogy making
- constraint solving
- higher order
- inductive logic programming
- logic programming language
- logic programming
- answer set programming
- expressive power
- inductive learning
- constraint programming
- knowledge representation
- theorem proving
- probabilistic reasoning
- inference rules
- theorem prover
- temporal reasoning
- constraint propagation
- database
- knowledge acquisition
- human cognition
- logic programs
- programming paradigms
- artificial intelligence
- integer programming
- text classification
- low level
- high level