Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- collaborative learning
- pilot study
- learning environment
- learning activities
- classical logic
- student learning
- professional development
- elementary school
- online learning
- learning community
- first order logic
- artificial intelligence
- cooperative learning
- logic programs
- learning process
- classroom environment
- teacher education