Preface: Mechanised Reasoning about Languages with Variable Binding 2001.
Simon AmblerRoy L. CroleAlberto MomiglianoPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- language independent
- cross lingual
- qualitative reasoning
- international workshop
- expressive power
- spatial reasoning
- multilingual information retrieval
- neural network
- multi lingual
- causal reasoning
- pattern languages
- data model
- fine grained
- query language
- language identification
- linguistic resources
- objective function