Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).
Stephan SchulzAdam PeasePublished in: IJCAR (2) (2020)
Keyphrases
- automated theorem proving
- theorem proving
- theorem prover
- answer set programming
- learning process
- e learning
- web based learning
- learning analytics
- distance learning
- online learning
- classical logic
- learning environment
- higher education
- cooperative learning
- computer programming
- educational technology
- university level
- computer technology
- problem based learning
- high school
- logic programming
- fuzzy sets
- natural language
- knowledge base