ACL RD-TEC 1.0 Summarization of J81-3002
Paper Title:
TRANSLATING SPANISH INTO LOGIC THROUGH LOGIC
TRANSLATING SPANISH INTO LOGIC THROUGH LOGIC
Primarily assigned technology terms:
- analyzer
- augmented transition network
- axiomatization
- backtracking
- computational linguistics
- data base
- disambiguation
- hardware
- kernel
- language processing
- language translation
- listing
- logic programming
- matching
- natural language processing
- nl processing
- parser
- parsing
- pattern-matching
- presupposition detection
- processing
- processor
- programming language
- prolog
- prolog programming
- quantification
- quantifier scoping
- query evaluation
- query language
- query system
- querying
- question-answering
- reading
- recognition
- search
- semantic analysis
- sentence generation
- spanish parsing
- subject-verb inversion
- type checking
- unification
- variable renaming
Other assigned terms:
- adjective
- ambiguity
- analyser
- approach
- association for computational linguistics
- case
- contextual information
- data base query
- declarative sentence
- definite clause grammars
- definite noun
- definite noun phrase
- derivation
- determiner
- determiners
- device
- domain-specific knowledge
- empty string
- fact
- feature
- formal language
- formal model
- formalism
- formalization
- french
- generation
- grammar
- grammar rules
- grammars
- implementation
- inferences
- interpretation
- interpreter
- knowledge
- lambda
- language subset
- lexical entries
- lexical entry
- lexical rules
- lexicon
- linguistic
- linguistic motivation
- linguistics
- linguists
- lisp
- logic
- logical formula
- logical representation
- mapping
- maps
- meaning
- meanings
- modifier
- mood
- names
- natural language
- natural languages
- negation
- non-terminal symbol
- noun complements
- noun phrase
- noun phrases
- nouns
- parse
- parsing grammar
- parsing process
- particle
- phrase
- predicate calculus
- predicates
- preposition
- prepositions
- presupposition
- presuppositions
- procedure
- process
- prolog implementation
- prolog predicate
- pronoun
- pronouns
- proper names
- proper noun
- quantifier
- queries
- query
- relation
- relative clause
- relative clauses
- reordering
- representations
- right-hand side
- schema
- search space
- semantic
- semantic agreement
- semantic constraints
- semantic features
- semantic information
- semantic interpretation
- semantic representation
- semantic types
- sentence
- sentences
- subject position
- substring
- symbol
- symbols
- synonym
- synonyms
- syntactic agreement
- syntactic information
- syntactic structures
- syntactic\/semantic grammar
- syntax
- syntax and semantics
- technique
- technology
- term
- terminals
- terms
- theoretical framework
- transition network
- translations
- tree
- tree representation
- trees
- truth-value
- user
- verb
- verb phrase
- vocabulary
- wh-question
- word
- words
