ACL RD-TEC 1.0 Summarization of W04-0902
Paper Title:
SOLVING LOGIC PUZZLES: FROM ROBUST PROCESSING TO PRECISE SEMANTICS
SOLVING LOGIC PUZZLES: FROM ROBUST PROCESSING TO PRECISE SEMANTICS
Authors: Iddo Lev and Bill MacCartney and Christopher Manning and Roger Levy
Primarily assigned technology terms:
- ambiguity resolution
- automated reasoning
- binary branching
- broad-coverage natural language processing
- classifiers
- computing
- cooper storage
- disambiguation
- discourse representation
- grouping
- language processing
- morpho-syntactic analysis
- natural language processing
- nlp
- parser
- parsers
- parsing
- processing
- prolog
- quantification
- question answering
- reasoning
- reference resolution
- scope resolution
- search
- statistical parser
- statistical parsers
- statistical parsing
- stemmer
- theorem prover
- type checking
- type raising
- verb phrases
Other assigned terms:
- ambiguity
- anaphoric expressions
- approach
- background information
- background knowledge
- binary relation
- break
- case
- categorial grammars
- compositional semantics
- discourse
- discourse representation theory
- entailment
- events
- fact
- first-order logic
- framenet
- grammar
- grammars
- hole semantics
- inferences
- knowledge
- lexical entry
- lexical semantics
- lexicon
- linguistic
- lisp
- logic
- mapping
- mappings
- meaning
- meanings
- meta-language
- modal operator
- modality
- names
- natural language
- natural language text
- natural language texts
- negation
- nouns
- ontologies
- parse
- parse tree
- part-of-speech
- part-of-speech information
- penn treebank
- phrase
- presupposition
- presuppositions
- process
- prolog code
- pronominal reference
- pronouns
- quantifier
- quantifier scope
- relation
- representation language
- representation theory
- representations
- scope ambiguity
- semantic
- semantic meaning
- semantic representation
- semantic representation language
- semantic representations
- sentence
- sentence structure
- sentences
- syntactic rule
- syntactic structures
- syntax
- text
- theorem
- theory
- training
- training data
- training examples
- translation rules
- tree
- treebank
- trees
- understanding
- verb
- word
- wordnet
- words
- world knowledge
