| 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 |
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
