| Cmodels-2: SAT-based answer set solver enhanced to non-tight programs Y Lierler, M Maratea Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004 | 233 | 2004 |
| Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006 | 214 | 2006 |
| SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI 4, 61-66, 2004 | 94 | 2004 |
| Disjunctive answer set programming via satisfiability Y Lierler | 73 | 2005 |
| Relating constraint answer set programming languages and algorithms Y Lierler Artificial Intelligence 207, 1-22, 2014 | 70 | 2014 |
| One more decidable class of finitely ground programs Y Lierler, V Lifschitz International Conference on Logic Programming, 489-493, 2009 | 70 | 2009 |
| cmodels – SAT-Based Disjunctive Answer Set Solver Y Lierler Logic Programming and Nonmonotonic Reasoning: 8th International Conference …, 2005 | 64 | 2005 |
| Connecting First-Order ASP and the Logic FO (ID) through Reducts. M Truszczynski, E Erdem, J Lee, Y Lierler, D Pearce Correct Reasoning, 543-559, 2012 | 61 | 2012 |
| The Winograd Schema Challenge and Reasoning about Correlation. D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael AAAI Spring Symposia, 2015 | 60 | 2015 |
| Systems, engineering environments, and competitions Y Lierler, M Maratea, F Ricca AI Magazine 37 (3), 45-52, 2016 | 53 | 2016 |
| Constraint answer set solver EZCSP and why integration schemas matter M Balduccini, Y Lierler Theory and Practice of Logic Programming 17 (4), 462-515, 2017 | 49 | 2017 |
| Knowledge representation and question answering M Balduccini, C Baral, Y Lierler Foundations of Artificial Intelligence 3, 779-819, 2008 | 44* | 2008 |
| Abstract answer set solvers Y Lierler Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 44 | 2008 |
| Transition systems for model generators—a unifying approach Y Lierler, M Truszczynski Theory and Practice of Logic Programming 11 (4-5), 629-646, 2011 | 42 | 2011 |
| SMT-based constraint answer set solver EZSMT (system description) B Susman, Y Lierler Technical Communications of the 32nd International Conference on Logic …, 2016 | 39 | 2016 |
| A Tarskian informal semantics for answer set programming M Denecker, Y Lierler, M Truszczynski, J Vennekens Technical Communications of the 28th International Conference on Logic …, 2012 | 38 | 2012 |
| Abstract answer set solvers with backjumping and learning Y Lierler Theory and Practice of Logic Programming 11 (2-3), 135-169, 2011 | 30 | 2011 |
| Elementary Sets of Logic Programs. M Gebser, J Lee, Y Lierler AAAI, 244-249, 2006 | 26 | 2006 |
| On abstract modular inference systems and solvers Y Lierler, M Truszczynski Artificial Intelligence 236, 65-89, 2016 | 24 | 2016 |
| Parsing combinatory categorial grammar via planning in answer set programming Y Lierler, P Schüller Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012 | 24 | 2012 |
