collaborators

1 paper

cs.LO2026

ASPIC: Proof-of-Concept ASP to Picat Transpiler

Cristian Grozea, Marius Popescu

This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated…