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…