Amelia Harrison
Ph.D. Student
Abstract Gringo 2015
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz and Torsten Schaub, unpublished.
On Equivalence of Infinitary Formulas under the Stable Model Semantics 2015
Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, Theory and Practice of Logic Programming , Vol. 15, 1 (2015).
The Winograd Schema Challenge and Reasoning about Correlation 2015
Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael, In Working Notes of the Symposium on Logical Formalizations of Commonsense Reasoning 2015. AAAI Press.
Infinitary Equilibrium Logic 2014
Amelia Harrison, Vladimir Lifschitz, Agustin Valverde, David Pearce, In Working Notes of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2014.
The Semantics of Gringo and Infinitary Propositional Formulas 2014
Amelia Harrison, Vladimir Lifschitz and Fangkai Yang, In Proceedings of 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) 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) 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