doi dblp Tractable POMDP representations for intelligent tutoring systems Jeremiah T. Folsom-Kovarik | Gita Sukthankar | Sae Lynne Schatz 2013 Volume 4 Issue 2