Amelia Harrison
Ph.D. Alumni
Homepage:
http://www.cs.utexas.edu/~ameliaj/
Publications
     [Expand to show all 19][Minimize]
Relating Two Dialects of Answer Set Programming 2018
Amelia Harrison and Vladimir Lifschitz, In Working Notes of the 17th International Workshop on Non-Monotonic Reasoning 2018.
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) 2017
Amelia Harrison and Yuliya Lierler, To Appear In Proceedings of the 2017 International Joint Conference on Artificial Intelligence 2017.
Formal Methods for Answer Set Programming 2017
Amelia Harrison, PhD Thesis, University of Texas at Austin. Doctoral Dissertation defended at the University of Texas.
Infinitary Equilibrium Logic and Strongly Equivalent Logic Programs 2017
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustín Valverde, Artificial Intelligence, Vol. 246 (2017).
Program Completion in the Input Language of GRINGO 2017
Amelia Harrison, Vladimir Lifschitz, and Dhananjay Raju, Theory and Practice of Logic Programming, Vol. 15 (2017).
First-Order Modular Logic Programs and their Conservative Extensions 2016
Amelia Harrison and Yuliya Lierler, Theory and Practice of Logic Programming, Vol. 16, 5-6 (2016), pp. 755--770.
Proving Infinitary Formulas 2016
Amelia Harrison, Vladimir Lifschitz, and Julian Michael, Theory and Practice of Logic Programming, Vol. 16, 5-6 (2016), pp. 787--799.
Stable Models for Infinitary Formulas with Extensional Atoms 2016
Amelia Harrison and Vladimir Lifschitz, Theory and Practice of Logic Programming, Vol. 15, 5-6 (2016), pp. 771--786.
A Direct Proof of Hosoi's Theorem (Extended Abstract) 2015
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustin Valverde, 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, Theory and Practice of Logic Programming, Vol. 15, 4-5 (2015).
Infinitary Equilibrium Logic and Strong Equivalence 2015
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustin Valverde, In Logic Programming and Nonmonotonic Reasoning, 13th International Conference (LPNMR), Francesco 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.
Labs
Formerly affiliated with Texas Action Group