Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces parametric modular logic programs, a novel formalism for modularity in first-order answer set programming (ASP) that allows defining subprograms with parameters and intensionality statements. The formalism captures the semantics of clingo-programs with collective control, enabling structured subprogram instantiation. The work provides theoretical foundations for modular ASP and demonstrates its utility while connecting it to traditional non-modular ASP.
Modularity in answer set programming gets a declarative upgrade, enabling structured subprogram instantiation with parameters and intensionality.
In this paper, we explore the concept of modularity in first-order answer set programming (ASP). We introduce a new formalism called parametric modular logic programs, which allows defining subprograms with parameters and intensionality statements. We demonstrate how this formalism can capture the semantics of clingo-programs with collective control, a feature that enables structuring and instantiating subprograms. We provide theoretical foundations for modular ASP, illustrate its usefulness, and connect to traditional non-modular ASP.