Keyphrases
- theorem proving
- mixed initiative
- theorem prover
- neural network
- learning algorithm
- cooperative
- conversational agent
- mathematical proofs
- databases
- dialog systems
- proof theory
- linear logic
- decision theoretic
- human computer interaction
- knowledge representation
- evolutionary algorithm
- user interface
- natural language
- search algorithm
- learning environment
- genetic algorithm
- information retrieval