Skip to main content
profile image
Selected Works of Yuliya Lierler
Article
Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming
Computer Science Faculty Proceedings & Presentations
  • Natasha Noy, Stanford University
  • Deborah McGuinness, Rensselaer Polytechnic Institute
  • Yuliya Lierler, University of Nebraska at Omaha
Download
Document Type
Conference Proceeding
Publication Date
2-1-2013
Disciplines
Abstract

Final report edited by Natasha Noy and Deborah McGuinness.

Report Section 2.4.2, Advances in satisfiability and answer set programming, authored by Yuliya Lierer, UNO faculty member.

Comments

The full report can be found at http://krnsfworkshop.cs.illinois.edu/final-workshop-report.

Citation Information
Natasha Noy, Deborah McGuinness and Yuliya Lierler. "Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming" (2013)
Available at: http://works.bepress.com/yuliya_lierler/2/