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

On Equivalence of Infinitary Formulas under the Stable Model Semantics | 2014 |

Amelia Harrison, Vladimir Lifschitz and Miroslaw Truszczynski, To Appear In *Theory and Practice of Logic Programming * (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. |