ACL RD-TEC 1.0 Summarization of W05-1503
Paper Title:
SWITCH GRAPHS FOR PARSING TYPE LOGICAL GRAMMARS
SWITCH GRAPHS FOR PARSING TYPE LOGICAL GRAMMARS
Authors: Bob Carpenter and Glyn Morrill
Primarily assigned technology terms:
- algorithm
- axiomatization
- binding
- cky-style parsing
- computational linguistics
- dynamic programming
- dynamic programming algorithm
- dynamic programming parsing
- inference system
- lambek calculus
- lexical insertion
- linking
- logical inference
- optimization
- parser
- parsers
- parsing
- parsing algorithm
- parsing technologies
- programming algorithm
- programming language
- reading
- search
- shift-reduce parsing
- shift-reduce-style parsing
- theorem proving
- unification
Other assigned terms:
- adjective
- adverb
- adverbial modification
- algebraic structure
- ambiguity
- annotation
- association for computational linguistics
- binary tree
- case
- context-free grammar
- derivation
- derivations
- determiner
- discipline
- disjunction
- fact
- finite set
- formalism
- frame
- grammar
- grammar formalism
- grammars
- interpretation
- intransitive verb
- lexical entries
- lexical entry
- lexical semantics
- lexicalized grammar
- lexicalized grammar formalism
- lexicon
- linear logic
- linguistic
- linguistic expression
- linguistic expressions
- linguistics
- logic
- logical grammars
- mapping
- modifier
- natural language
- negation
- nominals
- normal form
- permutation
- phrase
- phrase structure
- phrase structure grammar
- phrase-structure grammar
- polar tree
- polarity
- proof net
- relation
- relativization
- reordering
- representations
- root node
- search space
- semantic
- semantic representations
- semantic type
- semantic types
- spurious ambiguity
- subgraph
- subtrees
- symbols
- technologies
- term
- terms
- theorem
- theoremhood
- theories
- theory
- tokens
- tree
- trees
- typed l-calculus
- undirected graph
- verb
- verb phrase
- words
