Google Research

Splitting a Hybrid ASP Program

Open Publishing Association, pp. 21-34

Abstract

Hybrid Answer Set Programming (H-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 ASP. The paper introduce the Splitting Set Theorem for Hybrid ASP, which is for H-ASP the equivalent of the Splitting Set Theorem, and shows how it can be applied to simplify computing answer sets for H-ASP programs most relevant for practical applications.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work