Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Providing personalized feedback is essential for effective learning, but delivering it promptly can be challenging in large-scale courses. In this work, we present ProHelp, an auto…
cs.SE2024
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Ricardo Brancas, Vasco Manquinho, Ruben Martins
Logic programs are a powerful approach for solving NP-Hard problems. However, due to their declarative nature, debugging logic programs poses significant challenges. Unlike procedu…