Parametric Modular Logic Programs for Declarative ASP

A new paper on arXiv introduces parametric modular logic programs, a formalism for first-order answer set programming (ASP) that supports subprograms with parameters and intensionality statements. The work demonstrates how this approach captures the semantics of clingo-programs with collective control, enabling structured subprogram instantiation. Theoretical foundations are provided, connecting to traditional non-modular ASP. The paper appears in the Computer Science > Artificial Intelligence category.