| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 587 | 2004 |
| NeurASP: Embracing neural networks into answer set programming Z Yang, A Ishay, J Lee 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020 | 308 | 2020 |
| Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 224 | 2011 |
| A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 164 | 2007 |
| Loop formulas for disjunctive logic programs J Lee, V Lifschitz International Conference on Logic Programming, 451-465, 2003 | 137 | 2003 |
| A model-theoretic counterpart of loop formulas J Lee IJCAI 5, 503-508, 2005 | 111 | 2005 |
| Action Language BC: Preliminary Report. J Lee, V Lifschitz, F Yang IJCAI, 983-989, 2013 | 101 | 2013 |
| Coupling large language models with logic programming for robust and general reasoning from text Z Yang, A Ishay, J Lee Findings of the Association for Computational Linguistics, ACL 2023, 5186-5219, 2023 | 100 | 2023 |
| Weighted Rules under the Stable Model Semantics. J Lee, Y Wang KR, 145-154, 2016 | 100 | 2016 |
| Representing and reasoning about web access control policies GJ Ahn, H Hu, J Lee, Y Meng 2010 IEEE 34th Annual Computer Software and Applications Conference, 137-146, 2010 | 95 | 2010 |
| Explainable fact checking with probabilistic answer set programming N Ahmadi, J Lee, P Papotti, M Saeed arXiv preprint arXiv:1906.09198, 2019 | 81 | 2019 |
| Symmetric Splitting in the General Theory of Stable Models. P Ferraris, J Lee, V Lifschitz, R Palla IJCAI 9, 797-803, 2009 | 72 | 2009 |
| Representing the Zoo World and the Traffic World in the language of the Causal Calculator V Akman, ST Erdoğan, J Lee, V Lifschitz, H Turner Artificial Intelligence 153 (1-2), 105-140, 2004 | 72 | 2004 |
| A generalization of the Lin-Zhao theorem P Ferraris, J Lee, V Lifschitz Annals of Mathematics and Artificial Intelligence 47 (1), 79-101, 2006 | 71 | 2006 |
| Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming J Lee, R Palla Journal of Artificial Intelligence Research 43, 571-620, 2012 | 65 | 2012 |
| System f2lp – Computing Answer Sets of First-Order Formulas J Lee, R Palla International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 64 | 2009 |
| Circumscriptive Event Calculus as Answer Set Programming. TW Kim, J Lee, R Palla IJCAI 9, 823-829, 2009 | 62 | 2009 |
| A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 61 | 2008 |
| Leveraging Large Language Models to Generate Answer Set Programs A Ishay, Z Yang, J Lee Proceedings of the 20th International Conference on Principles of Knowledge …, 2023 | 59 | 2023 |
| LPMLN, weak constraints, and P-log J Lee, Z Yang Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 55 | 2017 |
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
