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, |

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. |