Keyphrases
- programming language
- natural language
- intuitionistic logic
- theorem proving
- neural network
- inference rules
- language learning
- real world
- multi agent
- case study
- theorem prover
- genetic algorithm
- language processing
- programming environment
- specification language
- linguistic knowledge
- language acquisition
- highly expressive
- scripting language
- information retrieval