Keyphrases
- higher order
- active learning
- semantic annotation
- automatic image annotation
- image annotation
- manual annotation
- automatic annotation
- natural language
- theorem proving
- semantic indexing
- anaphora resolution
- computer mediated
- automatic indexing
- automated theorem proving
- discourse analysis
- weakly labeled
- knowledge building
- video annotation
- data sets
- theorem prover
- knowledge base
- information systems
- machine learning