ACL RD-TEC 1.0 Summarization of E91-1030
Paper Title:
THE FORMAL AND PROCESSING MODELS OF CLG
THE FORMAL AND PROCESSING MODELS OF CLG
Authors: Luis DAMAS and Giovanni B. VARILE
Primarily assigned technology terms:
- algorithm
- computing
- constraint handling
- constraint logic programming
- constraint resolution
- constraint solving
- equation solving
- inferencing
- lazy evaluation
- logic programming
- logic programming \
- parsing
- parsing algorithm
- processing
- quantification
- search
- term unification
- unification
- unification algorithm
Other assigned terms:
- ambiguity
- approach
- case
- compact representation
- complex term
- computational tractability
- constraint logic
- data structure
- data structures
- denotation
- derivation
- disjunction
- equational theory
- fact
- feature
- first order logic
- formalism
- formalisms
- grammar
- grammar formalism
- grammar formalisms
- grammars
- grammatical description
- hpsg
- implementation
- interpretation
- linguistic
- local constraints
- logic
- logic formulae
- logic grammar
- logic programming paradigm
- negation
- normal form
- opinions
- priori
- process
- processing model
- programming paradigm
- projection
- relation
- representations
- rewrite rules
- run-time
- symbols
- technologies
- term
- terms
- theoretical framework
- theory
- user
