Amelia Harrison

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 13

Top Topics

Stable Model Semantics

Universal Quantification

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Ann. Math. Artif. Intell.

Publications

Amelia Harrison, Vladimir Lifschitz
Relating Two Dialects of Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Bart Bogaerts, Esra Erdem, Amelia Harrison
Guest editorial: special issue on answer set programming and other computing paradigms. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Amelia Harrison, Vladimir Lifschitz
Relating Two Dialects of Answer Set Programming. CoRR (2019)
Amelia Harrison, Yuliya Lierler
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). IJCAI (2017)
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
Program Completionin the Input Language of GRINGO. CoRR (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246 (2017)
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
Program completion in the input language of GRINGO. Theory Pract. Log. Program. 17 (5-6) (2017)
Amelia Harrison, Vladimir Lifschitz, Julian Michael
Proving infinitary formulas. Theory Pract. Log. Program. 16 (5-6) (2016)
Amelia Harrison, Yuliya Lierler
First-Order Modular Logic Programs and their Con: set servative Extensions. CoRR (2016)
Amelia Harrison, Yuliya Lierler
First-order modular logic programs and their conservative extensions. Theory Pract. Log. Program. 16 (5-6) (2016)
Amelia Harrison, Vladimir Lifschitz
Stable models for infinitary formulas with extensional atoms. Theory Pract. Log. Program. 16 (5-6) (2016)
Amelia Harrison, Vladimir Lifschitz
Stable Models for Infinitary Formulas with Extensional Atoms. CoRR (2016)
Amelia Harrison, Vladimir Lifschitz, Julian Michael
Proving Infinitary Formulas. CoRR (2016)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR (2015)
Amelia Harrison
Formal Methods for Answer Set Programming. ICLP (Technical Communications) (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract Gringo. CoRR (2015)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On equivalence of infinitary formulas under the stable model semantics. Theory Pract. Log. Program. 15 (1) (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract gringo. Theory Pract. Log. Program. 15 (4-5) (2015)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalence of Infinitary Formulas under the Stable Model Semantics. CoRR (2014)
Amelia Harrison
The Semantics of Gringo and Proving Strong Equivalence. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. LPNMR (2013)
Yinon Bentor, Amelia Harrison, Shruti Bhosale, Raymond J. Mooney
University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference. TAC (2013)
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
On the Semantics of Gringo. CoRR (2013)