LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars.

Liviu-Virgil Ciortuz

Published in: KI (2002)

Keyphrases

constraint language
higher order
integrity constraints
constraint networks
modeling language
object oriented
metamodel
grammatical inference
process model
natural language
theorem proving
context free grammars
databases
database
optimal solution
multi agent
objective function