CLG(n): Constraint Logic Grammars.

Sergio Balari Giovanni B. Varile Luís Damas Nelma Moreira

Published in: COLING (1990)

Keyphrases

logic programming
modal logic
formal language
constraint language
context free grammars
parse selection
constraint solving
defeasible logic
soft constraints
linear constraints
constraint networks
automated reasoning
probability theory
global constraints
proof theory
visual languages
context dependent