Folgen
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
5602004
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
1982011
A New Perspective on Stable Models.
P Ferraris, J Lee, V Lifschitz
IJCAI 7, 372-379, 2007
1592007
Loop formulas for disjunctive logic programs
J Lee, V Lifschitz
International Conference on Logic Programming, 451-465, 2003
1172003
A model-theoretic counterpart of loop formulas
J Lee
IJCAI 5, 503-508, 2005
1022005
Action Language BC: Preliminary Report.
J Lee, V Lifschitz, F Yang
IJCAI, 983-989, 2013
892013
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
862010
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
672009
A generalization of the Lin-Zhao theorem
P Ferraris, J Lee, V Lifschitz
Annals of Mathematics and Artificial Intelligence 47 (1), 79-101, 2006
612006
System f2lp – Computing Answer Sets of First-Order Formulas
J Lee, R Palla
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
592009
A Reductive Semantics for Counting and Choice in Answer Set Programming.
J Lee, V Lifschitz, R Palla
AAAI, 472-479, 2008
592008
Circumscriptive event calculus as answer set programming
TW Kim, J Lee, R Palla
Twenty-First International Joint Conference on Artificial Intelligence, 2009
572009
Weighted rules under the stable model semantics
J Lee, Y Wang
Fifteenth International Conference on the Principles of Knowledge …, 2016
552016
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
532012
NeurASP: Embracing neural networks into answer set programming
Z Yang, A Ishay, J Lee
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020
482020
Describing additive fluents in action language C+
J Lee, V Lifschitz
Proc. of IJCAI 2003, 2003
452003
A probabilistic extension of the stable model semantics
J Lee, Y Wang
2015 AAAI Spring Symposium Series, 2015
422015
Stable models of formulas with intensional functions
M Bartholomew, J Lee
Thirteenth International Conference on the Principles of Knowledge …, 2012
412012
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
402009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20