TryLogic tutorial: an approach to Learning Logic by proving and refuting.
Patrick TerrematteJoão MarcosPublished in: CoRR (2015)
Keyphrases
- learning process
- learning tasks
- learning algorithm
- learning systems
- supervised learning
- learning problems
- reinforcement learning
- learning scheme
- knowledge acquisition
- prior knowledge
- training set
- collaborative learning
- online learning
- learning environment
- multi agent
- background knowledge
- case study
- information retrieval
- learning scenarios
- real time