Answers Synthesis for CLP with Negation.

Gilles Richard Frédéric Saubion

Published in: ECAI (1996)

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