David Rojas

Learn More
  • Marco Kuhlmann, Ralph Baldridge, Denys Debusmann, Katrin Duchier, Geert-Jan Erk, Joachim Kruijff +12 others
  • 2002
This thesis shows how constraint programming can be applied to the processing of Categorial Type Logics (CTL). It presents a novel formalisation of the parsing task for categorial grammars as a tree configuration problem, and demonstrates how a recent proposal for structural constraints on CTL parse trees [11] can be integrated into this framework. The(More)
  • 1