Keyphrases
- constraint logic programming
- logic programming
- logic programs
- program synthesis
- answer questions
- databases
- functional programs
- predicate logic
- texture synthesis
- compositional semantics
- question answer
- correct answers
- stable models
- temporal reasoning
- deductive databases
- constraint programming
- knowledge representation
- database systems
- neural network