ACL RD-TEC 1.0 Summarization of W91-0104
Paper Title:
INHERENTLY REVERSIBLE GRAMMARS, LOGIC PROGRAMMING AND COMPUTABILITY
INHERENTLY REVERSIBLE GRAMMARS, LOGIC PROGRAMMING AND COMPUTABILITY
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- binary relation
- case
- categorial grammars
- composition
- compositionality
- computational linguist
- concept
- concepts
- decidability
- denotation
- derivation
- device
- exponential time
- fact
- finite set
- first-order logic
- formalism
- formalisms
- generation
- grammar
- grammar formalism
- grammars
- hypotheses
- implementation
- inference rules
- interpreter
- knowledge
- left-recursion
- linguist
- linguistic
- linguistic description
- linguistic knowledge
- linguistic structures
- logic
- mapping
- meaning
- natural language
- opinion
- parse
- parsing problem
- polynomial time
- predicates
- priori
- process
- queries
- query
- relation
- reordering
- reversibility problem
- reversible grammar
- semantic
- semantic compositionality
- semantic content
- semantic rules
- subsumption
- symbols
- syntactic compositionality
- syntax
- technique
- term
- terms
- text
- theorem
- transformation
- tree
- unification grammar
- unification grammars
- words