Amelia Harrison

According to our database, Amelia Harrison authored at least 20 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

Relating Two Dialects of Answer Set Programming.

Amelia Harrison, Vladimir Lifschitz

Theory Pract. Log. Program., 2019

Guest editorial: special issue on answer set programming and other computing paradigms.

Bart Bogaerts, Esra Erdem, Amelia Harrison

Ann. Math. Artif. Intell., 2019

2017

Program completion in the input language of GRINGO.

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

Theory Pract. Log. Program., 2017

Program Completionin the Input Language of GRINGO.

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

CoRR, 2017

Infinitary equilibrium logic and strongly equivalent logic programs.

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde

Artif. Intell., 2017

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).

Amelia Harrison, Yuliya Lierler

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Proving infinitary formulas.

Amelia Harrison, Vladimir Lifschitz, Julian Michael

Theory Pract. Log. Program., 2016

Stable models for infinitary formulas with extensional atoms.

Amelia Harrison, Vladimir Lifschitz

Theory Pract. Log. Program., 2016

First-order modular logic programs and their conservative extensions.

Amelia Harrison, Yuliya Lierler

Theory Pract. Log. Program., 2016

First-Order Modular Logic Programs and their Con: set servative Extensions.

Amelia Harrison, Yuliya Lierler

CoRR, 2016

2015

On equivalence of infinitary formulas under the stable model semantics.

Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski

Theory Pract. Log. Program., 2015

Abstract gringo.

Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub

Theory Pract. Log. Program., 2015

Infinitary Equilibrium Logic and Strong Equivalence.

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Formal Methods for Answer Set Programming.

Amelia Harrison

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

The Winograd Schema Challenge and Reasoning about Correlation.

Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

The Semantics of Gringo and Infinitary Propositional Formulas.

Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

The Semantics of Gringo and Proving Strong Equivalence.

Amelia Harrison

Theory Pract. Log. Program., 2013

On the Semantics of Gringo.

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang

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

Proceedings of the Sixth Text Analysis Conference, 2013

On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.

Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013