ACL RD-TEC 1.0 Summarization of W04-0911
Paper Title:
LEXICAL-SEMANTIC INTERPRETATION OF LANGUAGE INPUT IN MATHEMATICAL DIALOGS
LEXICAL-SEMANTIC INTERPRETATION OF LANGUAGE INPUT IN MATHEMATICAL DIALOGS
Authors: Magdalena Wolska and Ivana Kruijff-Korbayová and Helmut Horacek
Primarily assigned technology terms:
- active learning
- deep analysis
- deep parser
- dialog manager
- disambiguation
- encoding
- hybrid logic
- input analysis
- input understanding
- instantiation
- keyword spotting
- learning
- mathematical proof assistant
- meaning representation
- model learning
- morphological analysis
- parser
- parsing
- part-of-speech tagging
- pre-processing
- processing
- proof assistant
- semantic analysis
- semantic construction
- semantic parsing
- shallow processing
- spelling
- spelling correction
- statistical methods
- structure representation
- tagger
- tagging
- theorem proving
- tutoring system
- understanding module
- verbalization
Other assigned terms:
- adverbial phrase
- ambiguity
- annotation
- approach
- argument structure
- case
- co-reference
- concepts
- conceptual relation
- conceptual structure
- correlations
- dialog
- discourse
- discourse context
- discourse entity
- discourse meaning
- domain interpretation
- domain ontology
- domain-specific ontology
- first-order logic
- formalism
- frame
- framenet
- functional generative description
- generation
- generative description
- grammar
- interpretation
- keyword
- knowledge
- knowledge base
- language behavior
- learning environment
- lexical entries
- lexical semantic
- lexical semantics
- lexicon
- lexicon entries
- linguistic
- linguistic data
- linguistic meaning
- linguistic realization
- logic
- logical form
- mathematical expression
- mathematical knowledge
- mathematics
- meaning
- meta-communication
- method
- metonymy
- modality
- model learning environment
- natural language
- negation
- nominals
- noun phrases
- ontological knowledge
- ontology
- parse
- part-of-speech
- phrase
- polysemy
- predicates
- prepositional phrase
- procedure
- proposition
- questionnaire
- relation
- representations
- semantic
- semantic lexicon
- semantic relation
- semantic roles
- sentence
- sentence meaning
- sentences
- set theory
- sub-language
- symbols
- synonymy
- syntactic variation
- teaching
- term
- terms
- text
- theorem
- theory
- transformation
- translation rules
- tutoring
- understanding
- user
- user model
- utterance
- verb
