A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Theory Revision with Goal-directed ASP
2021
International Conference on Logic Programming
Preserved Fulltext
The s(CASP) system uses a proof-theoretic approach to ASP. We can use its feature to generate a justification tree to identify needed changes to a program.
dblp:conf/iclp/Salazar21
fatcat:jc6eyvfwofbg3imzfiofiqknum