1. Baral, C., & Dzifcak J. (2012). Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation. In Proceedings of KR 2012 (pp. 573–577).
2. Baral, C., Dzifcak, J., & Son, T. C. (2008). Using Answer Set Programming and lambda calculus to characterize natural language sentences with normatives and exceptions. In Proceedings of the twenty-third conference on artificial intelligence (AAAI 2008) (pp. 818–823).
3. Brewka, G., Eiter, T., & Truszczyński, M. (2011). Answer Set Programming at a glance. Communications of the ACM, 54(12), 92–103.
4. Clark, P., Harrison, P., Jenkins, T., Thompson, J., & Wojcik, R. (2005). Acquiring and using world knowledge using a restricted subset of English. In The 18th international FLAIRS conference (FLAIRS’05) (pp. 506–511).
5. Clark, P., & Porter, B. (2011). KM—The knowledge machine 2.0: User manual.