Follow
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
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
1122015
The winograd schema challenge and reasoning about correlation
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
2015 AAAI Spring Symposium Series, 2015
592015
The semantics of Gringo and infinitary propositional formulas
AJ Harrison, V Lifschitz, F Yang
Fourteenth International Conference on the Principles of Knowledge …, 2014
292014
Infinitary equilibrium logic and strongly equivalent logic programs
A Harrison, V Lifschitz, D Pearce, A Valverde
Artificial Intelligence 246, 22-33, 2017
192017
Infinitary equilibrium logic and strong equivalence
A Harrison, V Lifschitz, D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
142015
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
142015
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
122017
First-Order Modular Logic Programs and their Conservative Extensions
A Harrison, Y Lierler
arXiv preprint arXiv:1608.02681, 2016
102016
Relating two dialects of answer set programming
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019
82019
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
82013
Stable models for infinitary formulas with extensional atoms
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 16 (5-6), 771-786, 2016
62016
The winograd schema challenge and reasoning about correlation. In 2015 AAAI Spring Symposia
D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael
AAAI Press, 2015
52015
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: (Preliminary Report)
A Harrison, V Lifschitz, M Truszczynski
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
42013
Formal methods for answer set programming
AJ Harrison
32017
Proving infinitary formulas
A Harrison, V Lifschitz, J Michael
Theory and Practice of Logic Programming 16 (5-6), 787-799, 2016
32016
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
Annals of Mathematics and Artificial Intelligence 86 (1-3), 1-2, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–20