Work

Parametric Modular Answer Set Programs Made Declarative

Year: 2026

Type: article

Abstract: 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.

Source: Theory and Practice of Logic Programming

DOI: 10.1017/s1471068426100520

Authors: JORGE FANDINNO, YULIYA LIERLER, TORSTEN SCHAUB

Institutions: University of Nebraska at Omaha, University of Potsdam

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,550

OpenAlex ID: W7166582727

FWCI:

Cites: 16

Cited by:

Related to: