Joohyung Lee
Titel
Zitiert von
Zitiert von
Jahr
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5492004
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
1772011
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
1152003
A model-theoretic counterpart of loop formulas
J Lee
IJCAI 5, 503-508, 2005
1032005
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
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
802013
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
722004
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
612009
A Reductive Semantics for Counting and Choice in Answer Set Programming.
J Lee, V Lifschitz, R Palla
AAAI, 472-479, 2008
572008
A generalization of the Lin-Zhao theorem
P Ferraris, J Lee, V Lifschitz
Annals of Mathematics and Artificial Intelligence 47 (1), 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
Twenty-First International Joint Conference on Artificial Intelligence, 2009
522009
Weighted rules under the stable model semantics
J Lee, Y Wang
Fifteenth International Conference on the Principles of Knowledge …, 2016
482016
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
462012
Describing additive fluents in action language C+
J Lee, V Lifschitz
Proc. of IJCAI 2003, 2003
452003
Stable models of formulas with intensional functions
M Bartholomew, J Lee
Thirteenth International Conference on the Principles of Knowledge …, 2012
412012
A probabilistic extension of the stable model semantics
J Lee, Y Wang
2015 AAAI Spring Symposium Series, 2015
392015
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
382009
Loop formulas for circumscription
J Lee, F Lin
Artificial Intelligence 170 (2), 160-185, 2006
352006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20