I am a fifth year PhD student at UT Austin. I work with Vladimir Lifschitz researching topics in Answer Set Programming (ASP). I work on developing theoretical approaches to formal methods for ASP languages, so that we can prove practical properties of ASP solvers and programs .

- Amelia Harrison, Vladimir Lifschitz, David Pearce, and
Agustín Valverde. Infinitary Equilibrium Logic and Strongly Equivalent
Logic Programs. To appear in
*Artificial Intelligence*. [pdf] - Amelia Harrison and Yuliya Lierler.
First-Order Modular Logic Programs and their Conservative Extensions. To appear
in
*Theory and Practice of Logic Programming*. [pdf] - Amelia Harrison, Vladimir Lifschitz, and Julian Michael. Proving Infinitary Formulas. To appear in
*Theory and Practice of Logic Programming*. [pdf] - Amelia Harrison and Vladimir Lifschitz.
Stable Models for Infinitary formulas with Extensional Atoms. To appear in
*Theory and Practice of Logic Programming*. [pdf] - Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir
Lifschitz, and Torsten Schaub. Abstract Gringo. In
*Theory and Practice of Logic Programming*, Vol.15, 4-5 (2015). [pdf] - Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. On Equivalence of Infinitary Formulas under the Stable Model Semantics.
*Theory and Practice of Logic Programming*, Vol.15, 1 (2015). [pdf]

- Amelia Harrison, Vladimir Lifschitz, David Pearce, and
Agustín Valverde. A Direct Proof of Hosoi's Theorem (Extended Abstract).
In
*Abstracts of Papers Presented at the Third St. Petersburg Days of Logic and Computability*, 2015. [pdf] - Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael. The Winograd Schema Challenge and Reasoning about Correlation. In
*Working Notes of the Symposium on Logical Formalizations of Commonsense Reasoning*, 2015. [pdf] - Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang. The Semantics of Gringo and Infinitary Propositional Formulas. In
*Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KRR)*, 2014. [pdf] - Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report). In
*Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)*, 2013. [pdf] - Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang. On the Semantics of Gringo. In
*Technical Notes of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)*, 2013. [pdf] - Amelia Harrison. The Semantics of Gringo and Proving Strong Equivalence. In
*Theory and Practice of Logic Programming, Online Supplement*, 2013. [pdf]

ameliaj at cs dot utexas dot edu