Skip to main content
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
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/