UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Amelia Harrison
Machine Learning Lab
:
Ph.D. Student
Texas Action Group Lab
:
Ph.D. Student
Email:
ameliaj [at] cs utexas edu
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
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
Labs
Texas Action Group
Machine Learning