ACL RD-TEC 1.0 Summarization of W03-0102
Paper Title:
POINTING TO PLACES IN A DEDUCTIVE GEOSPATIAL THEORY
POINTING TO PLACES IN A DEDUCTIVE GEOSPATIAL THEORY
Authors: Richard Waldinger and Peter Jarvis and Jennifer Dungan
Primarily assigned technology terms:
- answer extraction
- automatic software composition
- classification
- digital library
- encoding
- information extraction
- informationextraction
- intelligent systems
- language parser
- markup language
- natural language parser
- parser
- question answering
- reasoning
- search
- search engine
- searching
- software development
- spatial reasoning
- synthesis
- temporal reasoning
- theorem prover
- theorem proving
- type classification
Other assigned terms:
- approach
- axioms
- classification scheme
- composition
- concepts
- english text
- external knowledge
- feature
- feature type
- feature types
- first-order logic
- forest
- gazetteer
- implementation
- inferences
- intelligence
- invocation
- knowledge
- lisp
- logic
- logical expression
- logical form
- mapping
- maps
- markup
- meaning
- meanings
- mechanisms
- names
- natural language
- ontology
- phrase
- process
- queries
- query
- relation
- representations
- sentence
- sentences
- software composition
- symbol
- symbols
- term
- terms
- text
- text documents
- theorem
- theories
- theory
- user
- vocabulary
- words
