Engaging in Logical Code Reasoning with an Activity-Based Online Tool.

Joseph E. Hollingsworth Eileen T. Kraemer Murali Sitaraman

Published in: SIGCSE (2019)

Keyphrases

logical reasoning
online learning
real time
programming tool
probabilistic logic
software tools
neural network
logical framework
reasoning tasks
user friendly
knowledge base
source code
legal reasoning
knowledge representation
unit testing
program understanding
logical rules