Amelia Harrison
Machine Learning Lab: Ph.D. Student
Texas Action Group Lab: Ph.D. Student
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Extended Abstract) 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang