First-order modular logic programs and their conservative extensions. Issue 5 (14th October 2016)

• Record Type: Journal Article
• Authors: HARRISON, AMELIA; LIERLER, YULIYA
• Editors: Carro, Manuel; King, Andy
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 5/6(2016)
• Page Start: 755
• Page End: 770
• Publication Date: 2016-10-14
• Subjects: Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068416000430
• Languages: English
• ISSNs: 1471-0684

Abstract

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