Amelia Harrison

24 papers A* 1B 2Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
Guest editorial: special issue on answer set programming and other computing paradigms.
Ann. Math. Artif. Intell.
Bart Bogaerts, Esra Erdem, Amelia Harrison
2019 J jnl
Relating Two Dialects of Answer Set Programming.
CoRR
Amelia Harrison, Vladimir Lifschitz
2019 J jnl
Relating Two Dialects of Answer Set Programming.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz
2017 A* conf
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).
IJCAI
Amelia Harrison, Yuliya Lierler
2017 J jnl
Infinitary equilibrium logic and strongly equivalent logic programs.
Artif. Intell.
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2017 — ed.
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017.
ASPOCP@LPNMR
Bart Bogaerts, Amelia Harrison
2017 J jnl
Program Completionin the Input Language of GRINGO.
CoRR
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
2017 J jnl
Program completion in the input language of GRINGO.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
2016 J jnl
First-Order Modular Logic Programs and their Con: set servative Extensions.
CoRR
Amelia Harrison, Yuliya Lierler
2016 J jnl
First-order modular logic programs and their conservative extensions.
Theory Pract. Log. Program.
Amelia Harrison, Yuliya Lierler
2016 J jnl
Proving Infinitary Formulas.
CoRR
Amelia Harrison, Vladimir Lifschitz, Julian Michael
2016 J jnl
Proving infinitary formulas.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz, Julian Michael
2016 J jnl
Stable Models for Infinitary Formulas with Extensional Atoms.
CoRR
Amelia Harrison, Vladimir Lifschitz
2016 J jnl
Stable models for infinitary formulas with extensional atoms.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz
2015 J jnl
Abstract Gringo.
CoRR
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015 J jnl
Abstract gringo.
Theory Pract. Log. Program.
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015 — conf
Formal Methods for Answer Set Programming.
ICLP (Technical Communications)
Amelia Harrison
2015 B conf
Infinitary Equilibrium Logic and Strong Equivalence.
LPNMR
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2015 J jnl
On equivalence of infinitary formulas under the stable model semantics.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2014 J jnl
On Equivalence of Infinitary Formulas under the Stable Model Semantics.
CoRR
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2013 B conf
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.
LPNMR
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2013 J jnl
On the Semantics of Gringo.
CoRR
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
2013 J jnl
The Semantics of Gringo and Proving Strong Equivalence.
Theory Pract. Log. Program.
Amelia Harrison
2013 — conf
University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference.
TAC
Yinon Bentor, Amelia Harrison, Shruti Bhosale, Raymond J. Mooney