Alex Brik

Splitting a Hybrid ASP Program

2020 · Electronic Proceedings in Theoretical Computer Science

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set Programming (ASP) that allows ASP-like rules to interact with outside sources. The Splitting Set Theorem is an important and extensively used result for …