ACL RD-TEC 1.0 Summarization of J88-4001
Paper Title:
LFP: A LOGIC FOR LINGUISTIC DESCRIPTIONS AND AN ANALYSIS OF ITS COMPLEXITY
LFP: A LOGIC FOR LINGUISTIC DESCRIPTIONS AND AN ANALYSIS OF ITS COMPLEXITY
Primarily assigned technology terms:
Other assigned terms:
- abbreviation
- adjunct
- alphabet
- association for computational linguistics
- case
- context-free language
- definite clause grammars
- derivations
- disjunction
- empty string
- existential quantification
- existential quantifier
- fact
- feature
- feature structures
- finite set
- first-order logic
- first-order theory
- formal description
- formal semantics
- formalism
- formalisms
- grammar
- grammar formalisms
- grammars
- grammatical description
- homomorphism
- hypothesis
- input string
- interpretation
- labeling
- leaf
- lemma
- linear space
- linguistic
- linguistic theory
- linguistics
- logic
- logical structure
- mapping
- maps
- meaning
- method
- morphemes
- names
- natural language
- natural languages
- negation
- nonterminal
- nonterminals
- oracle
- parallelism
- polynomial algorithm
- polynomial time
- predicates
- procedure
- process
- quantifier
- recursion
- relation
- sentence
- sentences
- style
- symbol
- symbols
- syntactic constituents
- syntactic relations
- syntax
- term
- terms
- text
- textbook
- theorem
- theory
- tree
- turing machine
- universal quantification
- words
