Joohyung Lee
Title
Cited by
Cited by
Year
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5212004
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
1702011
A New Perspective on Stable Models.
P Ferraris, J Lee, V Lifschitz
IJCAI 7, 372-379, 2007
1472007
Loop formulas for disjunctive logic programs
J Lee, V Lifschitz
International Conference on Logic Programming, 451-465, 2003
1072003
A model-theoretic counterpart of loop formulas
J Lee
IJCAI 5, 503-508, 2005
972005
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
802010
Action language BC: Preliminary report
J Lee, V Lifschitz, F Yang
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
742013
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
702004
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
552009
System f2lp – Computing Answer Sets of First-Order Formulas
J Lee, R Palla
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
542009
A Reductive Semantics for Counting and Choice in Answer Set Programming.
J Lee, V Lifschitz, R Palla
AAAI, 472-479, 2008
542008
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
542006
Circumscriptive event calculus as answer set programming
TW Kim, J Lee, R Palla
Twenty-First International Joint Conference on Artificial Intelligence, 2009
502009
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
432012
Describing additive fluents in action language C+
J Lee, V Lifschitz
Proc. of IJCAI 2003, 2003
432003
Stable models of formulas with intensional functions
M Bartholomew, J Lee
Thirteenth International Conference on the Principles of Knowledge …, 2012
402012
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
372009
Weighted rules under the stable model semantics
J Lee, Y Wang
Fifteenth International Conference on the Principles of Knowledge …, 2016
352016
Loop formulas for circumscription
J Lee, F Lin
Artificial Intelligence 170 (2), 160-185, 2006
342006
Loop formulas for circumscription
J Lee, F Lin
Artificial Intelligence 170 (2), 160-185, 2006
342006
The system can't perform the operation now. Try again later.
Articles 1–20