Document Type
Conference Proceeding
Publication Date
2013
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.
Recommended Citation
Lierler, Yuliya and Truszczyński, Miroslaw, "Modular Answer Set Solving" (2013). Computer Science Faculty Proceedings & Presentations. 14.
https://digitalcommons.unomaha.edu/compsicfacproc/14
Comments
27th AAAI Conference on Artificial Intelligence (AAAI-2013)