Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming

Authors

Natasha Noy, Stanford University
Deborah McGuinness, Rensselaer Polytechnic Institute
Yuliya Lierler, University of Nebraska at OmahaFollow

Document Type

Conference Proceeding

Publication Date

2-2013

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.

Recommended Citation

Noy, Natasha; McGuinness, Deborah; and Lierler, Yuliya, "Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming" (2013). Computer Science Faculty Proceedings & Presentations. 29.
https://digitalcommons.unomaha.edu/compsicfacproc/29