On the Completeness of Context-Sensitive Order-Sorted Specifications.
Joe HendrixJosé MeseguerPublished in: RTA (2007)
Keyphrases
- context sensitive
- order sorted
- predicate logic
- context free
- language model
- natural language
- multiple task learning
- spelling correction
- information retrieval
- temporal logic
- graph grammars
- probabilistic model
- artificial intelligence
- semantic network
- learning experience
- multiword
- programming language
- knowledge discovery
- low level
- k means