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
5362004
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
1752011
A New Perspective on Stable Models.
P Ferraris, J Lee, V Lifschitz
IJCAI 7, 372-379, 2007
1542007
Loop formulas for disjunctive logic programs
J Lee, V Lifschitz
International Conference on Logic Programming, 451-465, 2003
1132003
A model-theoretic counterpart of loop formulas
J Lee
IJCAI 5, 503-508, 2005
1022005
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
842010
Action Language BC: Preliminary Report.
J Lee, V Lifschitz, F Yang
IJCAI, 983-989, 2013
792013
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
712004
Symmetric splitting in the general theory of stable models
P Ferraris, J Lee, V Lifschitz, R Palla
622009
A Reductive Semantics for Counting and Choice in Answer Set Programming.
J Lee, V Lifschitz, R Palla
AAAI, 472-479, 2008
562008
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
562006
System f2lp – Computing Answer Sets of First-Order Formulas
J Lee, R Palla
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
552009
Circumscriptive Event Calculus as Answer Set Programming.
TW Kim, J Lee, R Palla
IJCAI 9, 823-829, 2009
532009
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
442012
Describing additive fluents in action language C+
J Lee, V Lifschitz
Proc. of IJCAI 2003, 2003
442003
Weighted Rules under the Stable Model Semantics.
J Lee, Y Wang
KR, 145-154, 2016
432016
Stable Models of Formulas with Intensional Functions.
M Bartholomew, J Lee
KR, 2012
412012
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
382009
A Probabilistic Extension of the Stable Model Semantics.
J Lee, Y Wang
AAAI Spring Symposia, 2015
362015
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