Amelia Harrison
Amelia Harrison
Verified email at cs.utexas.edu
Title
Cited by
Cited by
Year
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
arXiv preprint arXiv:1507.06576, 2015
642015
The Winograd Schema Challenge and Reasoning about Correlation.
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
AAAI Spring Symposia, 2015
372015
The semantics of Gringo and infinitary propositional formulas
AJ Harrison, V Lifschitz, F Yang
Fourteenth International Conference on the Principles of Knowledge …, 2014
222014
On equivalence of infinitary formulas under the stable model semantics
A Harrison, V Lifschitz, M Truszczynski
Theory and Practice of Logic Programming 15 (1), 18-34, 2015
132015
Program completion in the input language of GRINGO
A Harrison, V Lifschitz, D Raju
Theory and Practice of Logic Programming 17 (5-6), 855-871, 2017
112017
Infinitary equilibrium logic and strongly equivalent logic programs
A Harrison, V Lifschitz, D Pearce, A Valverde
Artificial Intelligence 246, 22-33, 2017
102017
First-Order Modular Logic Programs and their Conservative Extensions
A Harrison, Y Lierler
arXiv preprint arXiv:1608.02681, 2016
102016
Infinitary equilibrium logic and strong equivalence
A Harrison, V Lifschitz, D Pearce, A Valverde
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
102015
University of Texas at Austin KBP 2013 Slot Filling System: Bayesian Logic Programs for Textual Inference.
Y Bentor, A Harrison, S Bhosale, RJ Mooney
TAC, 2013
72013
Relating two dialects of answer set programming
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019
52019
Infinitary equilibrium logic
A Harrison, V Lifschitz, D Pearce, A Valverde
Working Notes of Workshop on Answer Set Programming and Other Computing …, 2014
52014
On the semantics of gringo
A Harrison, V Lifschitz, F Yang
arXiv preprint arXiv:1312.6149, 2013
52013
On equivalent transformations of infinitary formulas under the stable model semantics
A Harrison, V Lifschitz, M Truszczynski
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
42013
Proving infinitary formulas
A Harrison, V Lifschitz, J Michael
Theory and Practice of Logic Programming 16 (5-6), 787-799, 2016
32016
Stable models for infinitary formulas with extensional atoms
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 16 (5-6), 771-786, 2016
22016
Finite proofs for infinitary formulas
A Harrison, V Lifschitz, J Michael
Working Notes of the Workshop on Answer Set Programming and Other Computing …, 2015
22015
Guest editorial: special issue on answer set programming and other computing paradigms.
B Bogaerts, E Erdem, A Harrison
Ann. Math. Artif. Intell. 86 (1-3), 1-2, 2019
12019
Formal methods for answer set programming
AJ Harrison
12017
A Direct Proof of Hosoi’s Theorem
A Harrison, V Lifschitz, D Pearce, A Valverde
Extended Abstract, Third St. Petersburg Days of LOGIC and COMPUTABILITY …, 2015
12015
On the semantics of Gringo and proving strong equivalence
A Harrison
Theory and Practice of Logic Programming, Online Supplement, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20