| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 519 | 2004 |
| Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 169 | 2011 |
| A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 146 | 2007 |
| Loop formulas for disjunctive logic programs J Lee, V Lifschitz International Conference on Logic Programming, 451-465, 2003 | 107 | 2003 |
| A model-theoretic counterpart of loop formulas J Lee IJCAI 5, 503-508, 2005 | 97 | 2005 |
| 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 | 79 | 2010 |
| Action language BC: Preliminary report J Lee, V Lifschitz, F Yang Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 73 | 2013 |
| 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 | 70 | 2004 |
| Symmetric splitting in the general theory of stable models P Ferraris, J Lee, V Lifschitz, R Palla Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 55 | 2009 |
| A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 54 | 2008 |
| A generalization of the Lin-Zhao theorem P Ferraris, J Lee, V Lifschitz Annals of Mathematics and Artificial Intelligence 47 (1-2), 79-101, 2006 | 54 | 2006 |
| System f2lp – Computing Answer Sets of First-Order Formulas J Lee, R Palla International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 53 | 2009 |
| Circumscriptive event calculus as answer set programming TW Kim, J Lee, R Palla Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 50 | 2009 |
| Describing additive fluents in action language C+ J Lee, V Lifschitz Proc. of IJCAI 2003, 2003 | 43 | 2003 |
| 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 | 42 | 2012 |
| Stable models of formulas with intensional functions M Bartholomew, J Lee Thirteenth International Conference on the Principles of Knowledge …, 2012 | 40 | 2012 |
| On reductive semantics of aggregates in answer set programming J Lee, Y Meng International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 37 | 2009 |
| Weighted rules under the stable model semantics J Lee, Y Wang Fifteenth International Conference on the Principles of Knowledge …, 2016 | 35 | 2016 |
| Loop formulas for circumscription J Lee, F Lin Artificial Intelligence 170 (2), 160-185, 2006 | 34 | 2006 |
| Loop formulas for circumscription J Lee, F Lin Artificial Intelligence 170 (2), 160-185, 2006 | 34 | 2006 |
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
