Amelia Harrison
Ph.D. Student
     [Expand to show all 12][Minimize]
A Direct Proof of Hosoi's Theorem (Extended Abstract) 2015
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustin Valverde, To Appear In Abstracts of Papers Presented at the Third St. Petersburg Days of Logic and Computability 2015.
Abstract Gringo 2015
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, and Torsten Schaub, To Appear In Proceedings of 31st International Conference on Logic Programming, ICLP 2015.
Finite Proofs for Infinitary Formulas 2015
Amelia Harrison, Vladimir Lifschitz and Julian Michael, To Appear In Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms 2015.
Infinitary Equilibrium Logic and Strong Equivalence 2015
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustin Valverde, To Appear Proceedings of Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMRFrancesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (Eds.) (2015).
Infinitary Formulas in Answer Set Programming 2015
Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski, ALP Newsletter (2015).
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.
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