Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte.
Riccardo PucellaPublished in: SIGACT News (2001)
Keyphrases
- programming language
- language learning
- proof theory
- artificial intelligence
- human computer interaction
- theorem prover
- computational linguistics
- human interaction
- natural language
- multi agent
- genetic algorithm
- natural language processing
- real time
- theorem proving
- modeling language
- human robot interaction
- reinforcement learning
- english language
- interaction model
- multimodal interaction