CLP(Q) for Proving Interargument Relations.

Frédéric Mesnard Jean-Gabriel Ganascia

Published in: META (1992)

Keyphrases

constraint logic programming
semantic relations
constraint programming
databases
search engine
information systems
decision making
three dimensional
high level
information extraction
first order logic
answer set programming