Amelia Harrison
Ph.D. Student
Infinitary Equilibrium Logic 2014
Amelia Harrison, Vladimir Lifschitz, Agustin Valverde, David Pearce, unpublished.
On Equivalence of Infinitary Formulas under the Stable Model Semantics 2014
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, To Appear In Theory and Practice of Logic Programming (2014).
The Semantics of Gringo and Infinitary Propositional Formulas 2014
Amelia Harrison, Vladimir Lifschitz and Fangkai Yang, To Appear In 14th International Conference on Principles of Knowledge Representation and Reasoning 2014.
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report) 2013
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spain, September 2013.
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang, In Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), Istanbul, Turkey, August 2013.
The Semantics of Gringo and Proving Strong Equivalence 2013
Amelia Harrison, TPLP, Online Supplement (2013). http://journals.cambridge.org/downloadsup.php?file=/tlp2013035.pdf.
University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference 2013
Yinon Bentor, Amelia Harrison, Shruti Bhosale, and Raymond Mooney, In Proceedings of the Sixth Text Analysis Conference (TAC 2013) 2013.
Currently affiliated with Texas Action Group Formerly affiliated with Machine Learning