On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. - Amelia Harrison; Vladimir Lifschitz; Miroslaw Truszczynski (LPNMR, 2013)

University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference. - Yinon Bentor; Amelia Harrison; Shruti Bhosale; Raymond J. Mooney (TAC, 2013)

On the Semantics of Gringo. - Amelia Harrison; Vladimir Lifschitz; Fangkai Yang (CoRR, 2013)

The Semantics of Gringo and Proving Strong Equivalence. - Amelia Harrison (Theory Pract. Log. Program., 2013)

The Semantics of Gringo and Infinitary Propositional Formulas. - Amelia J. Harrison; Vladimir Lifschitz; Fangkai Yang (KR, 2014)

The Winograd Schema Challenge and Reasoning about Correlation. - Daniel Bailey; Amelia J. Harrison; Yuliya Lierler; Vladimir Lifschitz; Julian Michael (AAAI Spring Symposia, 2015)

Formal Methods for Answer Set Programming. - Amelia Harrison (ICLP (Technical Communications), 2015)

Infinitary Equilibrium Logic and Strong Equivalence. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2015)

Abstract gringo. - Martin Gebser; Amelia Harrison; Roland Kaminski; Vladimir Lifschitz; Torsten Schaub (Theory Pract. Log. Program., 2015)

On equivalence of infinitary formulas under the stable model semantics. - Amelia Harrison; Vladimir Lifschitz; Miroslaw Truszczynski (Theory Pract. Log. Program., 2015)

First-Order Modular Logic Programs and their Con: set servative Extensions. - Amelia Harrison; Yuliya Lierler (CoRR, 2016)

First-order modular logic programs and their conservative extensions. - Amelia Harrison; Yuliya Lierler (Theory Pract. Log. Program., 2016)

Stable models for infinitary formulas with extensional atoms. - Amelia Harrison; Vladimir Lifschitz (Theory Pract. Log. Program., 2016)

Proving infinitary formulas. - Amelia Harrison; Vladimir Lifschitz; Julian Michael (Theory Pract. Log. Program., 2016)

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). - Amelia Harrison; Yuliya Lierler (IJCAI, 2017)

Infinitary equilibrium logic and strongly equivalent logic programs. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (Artif. Intell., 2017)

Program Completionin the Input Language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (CoRR, 2017)

Program completion in the input language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (Theory Pract. Log. Program., 2017)

Guest editorial: special issue on answer set programming and other computing paradigms. - Bart Bogaerts 001; Esra Erdem 001; Amelia Harrison (Ann. Math. Artif. Intell., 2019)

Relating Two Dialects of Answer Set Programming. - Amelia Harrison; Vladimir Lifschitz (Theory Pract. Log. Program., 2019)