2016/08/09 by Amelia Harrison, Harrison, Amelia, Yuliya Lierler +1
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
paper · pdf · doi:10.48550/arxiv.1608.02681
openalex publication_date 2016/08/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We also introduce conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. We show how the notion of a conservative extension can be used to justify the common projection rewriting. This note is under consideration for publication in Theory and Practice of Logic Programming.