Final report edited by Natasha Noy and Deborah McGuinness.
Report Section 2.3.2, Applications based on formal models, authored by Yuliya Lierer, UNO faculty member.
Noy, Natasha; McGuinness, Deborah; and Lierler, Yuliya, "Research Challenges and Opportunities in Knowledge Representation, Section 2.3.2: Applications based on formal models" (2013). Computer Science Faculty Proceedings & Presentations. 28.