Predicting Successful Programming Submissions Based on Critical Logic Blocks.

Ka Weng Pan Bryn Jeffries Irena Koprinska

Published in: AIED (2) (2024)

Keyphrases

logic programming
classical logic
programming language
multi valued
proof theory
automated reasoning
modal logic
object oriented programming
computer programming
artificial intelligence
block size
computational properties
variable size