Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015 | 107 | 2015 |
The winograd schema challenge and reasoning about correlation D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael 2015 AAAI Spring Symposium Series, 2015 | 56 | 2015 |
The semantics of Gringo and infinitary propositional formulas AJ Harrison, V Lifschitz, F Yang Fourteenth International Conference on the Principles of Knowledge …, 2014 | 28 | 2014 |
Infinitary equilibrium logic and strongly equivalent logic programs A Harrison, V Lifschitz, D Pearce, A Valverde Artificial Intelligence 246, 22-33, 2017 | 18 | 2017 |
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 | 14 | 2015 |
Infinitary equilibrium logic and strong equivalence A Harrison, V Lifschitz, D Pearce, A Valverde Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 13 | 2015 |
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 | 12 | 2017 |
First-Order Modular Logic Programs and their Conservative Extensions A Harrison, Y Lierler arXiv preprint arXiv:1608.02681, 2016 | 10 | 2016 |
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 | 8 | 2013 |
Relating two dialects of answer set programming A Harrison, V Lifschitz Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019 | 7 | 2019 |
Stable models for infinitary formulas with extensional atoms A Harrison, V Lifschitz Theory and Practice of Logic Programming 16 (5-6), 771-786, 2016 | 5 | 2016 |
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 | 5 | 2015 |
Infinitary equilibrium logic A Harrison, V Lifschitz, D Pearce, A Valverde Working Notes of Workshop on Answer Set Programming and Other Computing …, 2014 | 5 | 2014 |
On the semantics of gringo A Harrison, V Lifschitz, F Yang arXiv preprint arXiv:1312.6149, 2013 | 5 | 2013 |
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 | 4 | 2013 |
Formal methods for answer set programming AJ Harrison | 3 | 2017 |
Proving infinitary formulas A Harrison, V Lifschitz, J Michael Theory and Practice of Logic Programming 16 (5-6), 787-799, 2016 | 3 | 2016 |
Finite proofs for infinitary formulas A Harrison, V Lifschitz, J Michael Working Notes of the Workshop on Answer Set Programming and Other Computing …, 2015 | 2 | 2015 |
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 | 1 | 2019 |
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 | 1 | 2015 |