AAAI Publications, Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence

Font Size: 
Modular Answer Set Solving
Yuliya Lierler, Miroslaw Truszczynski

Last modified: 2013-06-29

Abstract


Modularity is essential for modeling large-scale practical applications. We propose modular logic programs as a modular version of answer set programming and study the relationship of our formalism to an earlier concept of lp-modules.

Full Text: PDF