Search Results for author:
Found 1 papers, 0 papers with code
FOLASP: FO(.) as Input Language for Answer Ser Solvers
We present experimental results to show that the resulting combination of our translation with an off-the-shelf ASP solver is competitive with the IDP system as a way of solving problems formulated in FO(.).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
