Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 538 | 2004 |
Stable models and circumscription P Ferraris, J Lee, V Lifschitz Artificial Intelligence 175 (1), 236-263, 2011 | 176 | 2011 |
A New Perspective on Stable Models. P Ferraris, J Lee, V Lifschitz IJCAI 7, 372-379, 2007 | 154 | 2007 |
Loop formulas for disjunctive logic programs J Lee, V Lifschitz International Conference on Logic Programming, 451-465, 2003 | 116 | 2003 |
A model-theoretic counterpart of loop formulas J Lee IJCAI 5, 503-508, 2005 | 103 | 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 | 85 | 2010 |
Action Language BC: Preliminary Report. J Lee, V Lifschitz, F Yang IJCAI, 983-989, 2013 | 79 | 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 | 71 | 2004 |
Symmetric splitting in the general theory of stable models P Ferraris, J Lee, V Lifschitz, R Palla | 61 | 2009 |
A Reductive Semantics for Counting and Choice in Answer Set Programming. J Lee, V Lifschitz, R Palla AAAI, 472-479, 2008 | 56 | 2008 |
A generalization of the Lin-Zhao theorem P Ferraris, J Lee, V Lifschitz Annals of Mathematics and Artificial Intelligence 47 (1), 79-101, 2006 | 56 | 2006 |
System f2lp – Computing Answer Sets of First-Order Formulas J Lee, R Palla International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 55 | 2009 |
Circumscriptive Event Calculus as Answer Set Programming. TW Kim, J Lee, R Palla IJCAI 9, 823-829, 2009 | 52 | 2009 |
Weighted Rules under the Stable Model Semantics. J Lee, Y Wang KR, 145-154, 2016 | 46 | 2016 |
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 | 45 | 2012 |
Describing additive fluents in action language C+ J Lee, V Lifschitz Proc. of IJCAI 2003, 2003 | 45 | 2003 |
Stable Models of Formulas with Intensional Functions. M Bartholomew, J Lee KR, 2012 | 41 | 2012 |
A Probabilistic Extension of the Stable Model Semantics. J Lee, Y Wang AAAI Spring Symposia, 2015 | 38 | 2015 |
On reductive semantics of aggregates in answer set programming J Lee, Y Meng International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 38 | 2009 |
Loop formulas for circumscription J Lee, F Lin Artificial Intelligence 170 (2), 160-185, 2006 | 35 | 2006 |