| 2026 | ACL | LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning. | Adam Ishay, Joohyung Lee |
| 2025 | AAAI | LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions. | Adam Ishay, Joohyung Lee |
| 2025 | ACL | Sparse Logit Sampling: Accelerating Knowledge Distillation in LLMs. | Anshumann, Mohd Abbas Zaidi, Akhil Kedia, Jinwoo Ahn, Taehwak Kwon, Kangwook Lee, Haejun Lee, Joohyung Lee |
| 2024 | AISTATS | Pathwise Explanation of ReLU Neural Networks. | Seongwoo Lim, Won Jo, Joohyung Lee, Jaesik Choi |
| 2024 | ICASSP | Compact and De-Biased Negative Instance Embedding for Multi-Instance Learning on Whole-Slide Image Classification. | Joohyung Lee, Heejeong Nam, Kwanhyung Lee, Sangchul Hahn |
| 2024 | WACV | Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. | Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim |
| 2023 | AAAI | Intuitive Access to Smartphone Settings Using Relevance Model Trained by Contrastive Learning. | Joonyoung Kim, Kangwook Lee, Haebin Shin, Hurnjoo Lee, Sechun Kang, Byunguk Choi, Dong Shin, Joohyung Lee |
| 2023 | ACL | Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2023 | ICLR | Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2023 | KR | Leveraging Large Language Models to Generate Answer Set Programs. | Adam Ishay, Zhun Yang, Joohyung Lee |
| 2022 | ICML | Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. | Zhun Yang, Joohyung Lee, Chiyoun Park |
| 2022 | Interspeech | Bunched LPCNet2: Efficient Neural Vocoders Covering Devices from Cloud to Edge. | Sangjun Park, Kihyun Choo, Joohyung Lee, Anton V. Porov, Konstantin Osipov, June Sig Sung |
| 2022 | MICCAI | Moving from 2D to 3D: Volumetric Medical Image Classification for Rectal Cancer Staging. | Joohyung Lee, Jieun Oh, Inkyu Shin, You-sung Kim, Dae Kyung Sohn, Tae-sung Kim, In So Kweon |
| 2020 | IJCAI | NeurASP: Embracing Neural Networks into Answer Set Programming. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2020 | Interspeech | Dual Attention in Time and Frequency Domain for Voice Activity Detection. | Joohyung Lee, Youngmoon Jung, Hoirin Kim |
| 2019 | LPNMR | Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p | Yi Wang, Joohyung Lee |
| 2018 | KR | Weight Learning in a Probabilistic Extension of Answer Set Programs. | Joohyung Lee, Yi Wang |
| 2018 | KR | Computing Logic Programs with Ordered Disjunction Using asprin. | Joohyung Lee, Zhun Yang |
| 2018 | KR | A Model-Based Approach to Visual Reasoning on CNLVR Dataset. | Shailaja Sampat, Joohyung Lee |
| 2017 | AAAI | LPMLN, Weak Constraints, and P-log. | Joohyung Lee, Zhun Yang |
| 2017 | AAAI | A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. | Yi Wang, Joohyung Lee, Doo Soon Kim |
| 2017 | IIWAS | Korea's software education initiative. | Won Kim, Ahyoung Choi, Jaehyuk Choi, Ok-Ran Jeong, Yong Ju Jung, Sangwoo Kang, Joohyung Lee, Sang-Woong Lee, Woong-Kee Loh, Joon Yoo, Seongcheol Chung, Hyungchul Lee, Sungmi Chon, YoungCheol Jeon, Han Sook Kim, Jin-Whan Kim, Jung-Hun Lee, Youna Min, Geun-Sil Song, Sun Ok Yang |
| 2016 | KR | Weighted Rules under the Stable Model Semantics. | Joohyung Lee, Yi Wang |
| 2015 | AAAI | Action Language BC+: Preliminary Report. | Joseph Babb, Joohyung Lee |
| 2015 | AAAI | Handling Uncertainty in Answer Set Programming. | Yi Wang, Joohyung Lee |
| 2015 | ICLP | Markov Logic Style Weighted Rules under the Stable Model Semantics. | Joohyung Lee, Yunsong Meng, Yi Wang |
| 2015 | ICLP | Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. | Joohyung Lee, Yi Wang, Yu Zhang |
| 2015 | LPNMR | Online Action Language o | Joseph Babb, Joohyung Lee |
| 2015 | NAACL | Recognizing Social Constructs from Textual Conversation. | Somak Aditya, Chitta Baral, Nguyen Ha Vo, Joohyung Lee, Jieping Ye, Zaw Naung, Barry Lumpkin, Jenny Hastings, Richard B. Scherl, Dawn M. Sweet, Daniela Inclezan |
| 2015 | WCNC | Energy efficient pricing scheme for multi-homing in heterogeneous wireless access networks: A game theoretic model and its analysis. | Seonghwa Yun, Joohyung Lee, S. H. Shah Newaz, Jun Kyun Choi |
| 2014 | CADE | Stable Models of Fuzzy Propositional Formulas. | Joohyung Lee, Yi Wang |
| 2014 | JELIA | System aspmt2smt: Computing ASPMT Theories by SMT Solvers. | Michael Bartholomew, Joohyung Lee |
| 2014 | JELIA | Stable Models of Fuzzy Propositional Formulas. | Joohyung Lee, Yi Wang |
| 2014 | KR | Stable Models of Multi-Valued Formulas: Partial versus Total Functions. | Michael Bartholomew, Joohyung Lee |
| 2013 | IJCAI | Functional Stable Model Semantics and Answer Set Programming Modulo Theories. | Michael Bartholomew, Joohyung Lee |
| 2013 | IJCAI | Action Language BC: Preliminary Report. | Joohyung Lee, Vladimir Lifschitz, Fangkai Yang |
| 2013 | IJCAI | Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. | Joohyung Lee, Yunsong Meng |
| 2013 | LPNMR | Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. | Joseph Babb, Joohyung Lee |
| 2012 | AAAI | Reformulating Temporal Action Logics in Answer Set Programming. | Joohyung Lee, Ravi Palla |
| 2012 | APCC | QoS and power consumption analysis of cooperative multicast scheme with cell zooming. | Kyeong min Lee, Joohyung Lee, GwangHui Park, Jun Kyun Choi |
| 2012 | ICLP | Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). | Joohyung Lee, Yunsong Meng |
| 2012 | KR | Stable Models of Formulas with Intensional Functions. | Michael Bartholomew, Joohyung Lee |
| 2011 | GLOBECOM | Energy-Efficient Rate Allocation for Multi-Homed Streaming Service over Heterogeneous Access Networks. | Joohyung Lee, Youngmi Lim, Ji Hwan Kim, Seong Gon Choi, Jun Kyun Choi |
| 2011 | ICLP | Representing the Language of the Causal Calculator in Answer Set Programming. | Michael Casolary, Joohyung Lee |
| 2011 | IJCAI | First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. | Michael Bartholomew, Joohyung Lee, Yunsong Meng |
| 2011 | LPNMR | Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). | Joohyung Lee, Ravi Palla |
| 2010 | AAAI | Situation Calculus as Answer Set Programming. | Joohyung Lee, Ravi Palla |
| 2010 | COMPSAC | Representing and Reasoning about Web Access Control Policies. | Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng |
| 2010 | KR | A Decidable Class of Groundable Formulas in the General Theory of Stable Models. | Michael Bartholomew, Joohyung Lee |
| 2009 | IJCAI | Symmetric Splitting in the General Theory of Stable Models. | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2009 | IJCAI | Circumscriptive Event Calculus as Answer Set Programming. | Tae-Won Kim, Joohyung Lee, Ravi Palla |
| 2009 | LPNMR | On Reductive Semantics of Aggregates in Answer Set Programming. | Joohyung Lee, Yunsong Meng |
| 2009 | LPNMR | System f2lp - Computing Answer Sets of First-Order Formulas. | Joohyung Lee, Ravi Palla |
| 2008 | AAAI | A Reductive Semantics for Counting and Choice in Answer Set Programming. | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | ICLP | Safe Formulas in the General Theory of Stable Models (Preliminary Report). | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | KR | On Loop Formulas with Variables. | Joohyung Lee, Yunsong Meng |
| 2007 | IJCAI | A New Perspective on Stable Models. | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
| 2007 | LPNMR | Head-Elementary-Set-Free Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2007 | LPNMR | Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. | Joohyung Lee, Ravi Palla |
| 2006 | AAAI | Elementary Sets of Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2005 | IJCAI | A Model-Theoretic Counterpart of Loop Formulas. | Joohyung Lee |
| 2004 | AAAI | Loop Formulas for Circumscription. | Joohyung Lee, Fangzhen Lin |
| 2004 | LPNMR | Nondefinite vs. Definite Causal Theories. | Joohyung Lee |
| 2003 | ICLP | Loop Formulas for Disjunctive Logic Programs. | Joohyung Lee, Vladimir Lifschitz |
| 2003 | IJCAI | Describing Additive Fluents in Action Language C+. | Joohyung Lee, Vladimir Lifschitz |
| 2003 | ISCAS | A scanning thermal microscopy system with a temperature dithering, servo-controlled interface circuit. | Joohyung Lee, Yogesh B. Gianchandani |