Skip to main content
profile image
Selected Works of Yuliya Lierler
Article
Modular Answer Set Solving
Computer Science Faculty Proceedings & Presentations
  • Yuliya Lierler, University of Nebraska at Omaha
  • Miroslaw Truszczyński, University of Kentucky
Download
Document Type
Conference Proceeding
Publication Date
1-1-2013
Disciplines
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.

Comments

27th AAAI Conference on Artificial Intelligence (AAAI-2013)

Citation Information
Yuliya Lierler and Miroslaw Truszczyński. "Modular Answer Set Solving" (2013)
Available at: http://works.bepress.com/yuliya_lierler/31/