| Evidence that the angiotensin IV (AT4) receptor is the enzyme insulin-regulated aminopeptidase AL Albiston, SG McDowall, D Matsacos, P Sim, E Clune, T Mustafa, J Lee, ... Journal of Biological Chemistry 276 (52), 48623-48626, 2001 | 578 | 2001 |
| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 568 | 2004 |
| Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 198 | 2011 |
| A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 158 | 2007 |
| Loop formulas for disjunctive logic programs J Lee, V Lifschitz ICLP 2916, 451-465, 2003 | 118 | 2003 |
| A model-theoretic counterpart of loop formulas J Lee IJCAI 5, 503-508, 2005 | 103 | 2005 |
| Action Language BC: Preliminary Report. J Lee, V Lifschitz, F Yang IJCAI, 983-989, 2013 | 90 | 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 | 86 | 2010 |
| 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 | 73 | 2004 |
| Symmetric splitting in the general theory of stable models P Ferraris, J Lee, V Lifschitz, R Palla | 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 | 61 | 2006 |
| Weighted rules under the stable model semantics J Lee, Y Wang Fifteenth international conference on the principles of knowledge …, 2016 | 60 | 2016 |
| System f2lp – Computing Answer Sets of First-Order Formulas J Lee, R Palla Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 59 | 2009 |
| A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 58 | 2008 |
| NeurASP: Embracing neural networks into answer set programming Z Yang, A Ishay, J Lee 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020 | 57 | 2020 |
| Circumscriptive event calculus as answer set programming TW Kim, J Lee, R Palla Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 57 | 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 | 53 | 2012 |
| Describing additive fluents in action language C+ J Lee, V Lifschitz Proc. of IJCAI 2003, 2003 | 46 | 2003 |
| A probabilistic extension of the stable model semantics J Lee, Y Wang 2015 AAAI Spring Symposium Series, 2015 | 43 | 2015 |
| Stable models of formulas with intensional functions M Bartholomew, J Lee Thirteenth International Conference on the Principles of Knowledge …, 2012 | 41 | 2012 |
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
