| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 577 | 2004 |
| Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 207 | 2011 |
| A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 163 | 2007 |
| NeurASP: Embracing neural networks into answer set programming Z Yang, A Ishay, J Lee 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020 | 154 | 2020 |
| Loop formulas for disjunctive logic programs J Lee, V Lifschitz Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India …, 2003 | 126 | 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 | 92 | 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 | 91 | 2010 |
| Weighted rules under the stable model semantics J Lee, Y Wang Fifteenth international conference on the principles of knowledge …, 2016 | 79 | 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 |
| Symmetric Splitting in the General Theory of Stable Models. P Ferraris, J Lee, V Lifschitz, R Palla IJCAI 9, 797-803, 2009 | 68 | 2009 |
| A generalization of the Lin-Zhao theorem P Ferraris, J Lee, V Lifschitz Annals of Mathematics and Artificial Intelligence 47, 79-101, 2006 | 66 | 2006 |
| 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 | 62 | 2009 |
| Explainable fact checking with probabilistic answer set programming N Ahmadi, J Lee, P Papotti, M Saeed arXiv preprint arXiv:1906.09198, 2019 | 61 | 2019 |
| 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 | 60 | 2012 |
| A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 59 | 2008 |
| A probabilistic extension of the stable model semantics J Lee, Y Wang 2015 AAAI Spring Symposium Series, 2015 | 48 | 2015 |
| Describing additive fluents in action language C+ J Lee, V Lifschitz Proc. of IJCAI 2003, 2003 | 45 | 2003 |
| Computing LPMLN using ASP and MLN solvers J Lee, S Talsania, Y Wang Theory and Practice of Logic Programming, 1-19, 2017 | 44 | 2017 |
Vladimir LifschitzUniversity of Texas at Austin在 cs.utexas.edu 的电子邮件经过验证
