| Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015 | 85 | 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 | 51 | 2015 |
| The semantics of Gringo and infinitary propositional formulas AJ Harrison, V Lifschitz, F Yang Fourteenth International Conference on the Principles of Knowledge …, 2014 | 25 | 2014 |
| Infinitary equilibrium logic and strongly equivalent logic programs A Harrison, V Lifschitz, D Pearce, A Valverde Artificial Intelligence 246, 22-33, 2017 | 15 | 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 |
| 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 | 11 | 2017 |
| Infinitary equilibrium logic and strong equivalence A Harrison, V Lifschitz, D Pearce, A Valverde International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015 | 11 | 2015 |
| 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 | 7 | 2013 |
| Relating two dialects of answer set programming A Harrison, V Lifschitz Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019 | 6 | 2019 |
| 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 A Harrison, V Lifschitz, M Truszczynski International Conference on Logic Programming and Nonmonotonic Reasoning …, 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 |
| Stable models for infinitary formulas with extensional atoms A Harrison, V Lifschitz Theory and Practice of Logic Programming 16 (5-6), 771-786, 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 Ann. Math. Artif. Intell. 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 AustinBestätigte E-Mail-Adresse bei cs.utexas.edu
