TAGs with Unification.
Bela BuschauerPeter PollerAnne SchauderKarin HarbuschPublished in: TAG+ (1990)
Keyphrases
- higher order
- collaborative tagging
- social tagging
- keywords
- user generated
- part of speech
- social bookmarking
- metadata
- data sets
- tag recommendation
- theorem proving
- geographic location
- automated theorem proving
- rfid tags
- music recommendation
- user contributed
- semantically enhanced
- collaborative tagging systems
- equational theories
- radio frequency identification
- web resources
- web content
- semantic information
- n gram
- web pages
- artificial intelligence
- genetic algorithm
- databases