TY - GEN
T1 - Modular answer set solving
AU - Lierler, Yuliya
AU - Truszczyński, Mirosław
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84898841841&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84898841841&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84898841841
SN - 9781577356288
T3 - AAAI Workshop - Technical Report
SP - 68
EP - 70
BT - Late-Breaking Developments in the Field of Artificial Intelligence - Papers Presented at the 27th AAAI Conference on Artificial Intelligence, Technical Report
T2 - 27th AAAI Conference on Artificial Intelligence, AAAI 2013
Y2 - 14 July 2013 through 18 July 2013
ER -