Παρακολούθηση
Joohyung Lee
Joohyung Lee
Associate Professor, Arizona State University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα asu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5812004
NeurASP: Embracing neural networks into answer set programming
Z Yang, A Ishay, J Lee
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020
2172020
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
2172011
A New Perspective on Stable Models.
P Ferraris, J Lee, V Lifschitz
IJCAI 7, 372-379, 2007
1642007
Loop formulas for disjunctive logic programs
J Lee, V Lifschitz
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India …, 2003
1292003
A model-theoretic counterpart of loop formulas
J Lee
IJCAI 5, 503-508, 2005
1092005
Action Language BC: Preliminary Report.
J Lee, V Lifschitz, F Yang
IJCAI, 983-989, 2013
972013
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
942010
Weighted Rules under the Stable Model Semantics.
J Lee, Y Wang
KR, 145-154, 2016
872016
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
A generalization of the Lin-Zhao theorem
P Ferraris, J Lee, V Lifschitz
Annals of Mathematics and Artificial Intelligence 47, 79-101, 2006
702006
Explainable fact checking with probabilistic answer set programming
N Ahmadi, J Lee, P Papotti, M Saeed
arXiv preprint arXiv:1906.09198, 2019
692019
Symmetric Splitting in the General Theory of Stable Models.
P Ferraris, J Lee, V Lifschitz, R Palla
IJCAI 9, 797-803, 2009
692009
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
632012
System f2lp – Computing Answer Sets of First-Order Formulas
J Lee, R Palla
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
632009
Circumscriptive Event Calculus as Answer Set Programming.
TW Kim, J Lee, R Palla
IJCAI 9, 823-829, 2009
632009
A Reductive Semantics for Counting and Choice in Answer Set Programming.
J Lee, V Lifschitz, R Palla
AAAI, 472-479, 2008
602008
Coupling large language models with logic programming for robust and general reasoning from text
Z Yang, A Ishay, J Lee
Findings of the Association for Computational Linguistics, ACL 2023, 5186-5219, 2023
532023
LPMLN, weak constraints, and P-log
J Lee, Z Yang
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
492017
A Probabilistic Extension of the Stable Model Semantics.
J Lee, Y Wang
AAAI Spring Symposia, 2015
472015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20