| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 583 | 2004 |
| Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 216 | 2011 |
| NeurASP: Embracing neural networks into answer set programming Z Yang, A Ishay, J Lee 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020 | 213 | 2020 |
| A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 165 | 2007 |
| Loop formulas for disjunctive logic programs J Lee, V Lifschitz Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India …, 2003 | 129 | 2003 |
| A model-theoretic counterpart of loop formulas J Lee IJCAI 5, 503-508, 2005 | 104 | 2005 |
| Action Language BC: Preliminary Report. J Lee, V Lifschitz, F Yang IJCAI, 983-989, 2013 | 96 | 2013 |
| 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 | 93 | 2010 |
| Weighted rules under the stable model semantics J Lee, Y Wang Fifteenth international conference on the principles of knowledge …, 2016 | 87 | 2016 |
| 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 | 71 | 2004 |
| A generalization of the Lin-Zhao theorem P Ferraris, J Lee, V Lifschitz Annals of Mathematics and Artificial Intelligence 47, 79-101, 2006 | 70 | 2006 |
| Explainable fact checking with probabilistic answer set programming N Ahmadi, J Lee, P Papotti, M Saeed arXiv preprint arXiv:1906.09198, 2019 | 69 | 2019 |
| Symmetric Splitting in the General Theory of Stable Models. P Ferraris, J Lee, V Lifschitz, R Palla IJCAI 9, 797-803, 2009 | 69 | 2009 |
| System f2lp – Computing Answer Sets of First-Order Formulas J Lee, R Palla International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 63 | 2009 |
| Circumscriptive event calculus as answer set programming TW Kim, J Lee, R Palla Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 63 | 2009 |
| 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 | 62 | 2012 |
| A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 61 | 2008 |
| 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 | 51 | 2023 |
| LPMLN, weak constraints, and P-log J Lee, Z Yang Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 49 | 2017 |
| A probabilistic extension of the stable model semantics J Lee, Y Wang 2015 AAAI Spring Symposium Series, 2015 | 48 | 2015 |
Vladimir LifschitzUniversity of Texas at AustinE-mail megerősítve itt: cs.utexas.edu
