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.

PDF

In Proceedings of Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13) 2013.

@inproceedings{lt13aaai, title={Modular Answer Set Solving}, author={Yuliya Lierler and Miroslaw Truszczynski}, booktitle={Proceedings of Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)}, url="http://www.cs.utexas.edu/users/ai-lab?modular-asp", year={2013} }