Amelia Harrison
Machine Learning Lab: Ph.D. Student
Texas Action Group Lab: Ph.D. Student
Homepage:
http://www.cs.utexas.edu/~ameliaj/
Publications
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, 2013.
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report) 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, To Appear In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2013.
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang, To Appear In Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms, 2013.
The Semantics of Gringo and Proving Strong Equivalence 2013
Amelia Harrison, To Appear In TPLP, Online Supplement, 2013.
Labs
Texas Action Group Machine Learning