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


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.


Knowledge representation and reasoning; Logic programming; Modularity

Full Text: PDF