Lee, Joohyung

29 publications

AAAI 2025 LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions Adam Ishay, Joohyung Lee

AISTATS 2024 Pathwise Explanation of ReLU Neural Networks Seongwoo Lim, Won Jo, Joohyung Lee, Jaesik Choi

WACV 2024 Think Before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim

AAAI 2023 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

MLHC 2023 Learning Missing Modal Electronic Health Records with Unified Multi-Modal Data Embedding and Modality-Aware Attention Kwanhyung Lee, Soojeong Lee, Sangchul Hahn, Heejung Hyun, Edward Choi, Byungeun Ahn, Joohyung Lee

ICLR 2023 Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang, Adam Ishay, Joohyung Lee

ICLRW 2023 Self-Supervised Predictive Coding with Multimodal Fusion for Patient Deterioration Prediction in Fine-Grained Time Resolution Kwanhyung Lee, John Won, Heejung Hyun, Sangchul Hahn, Edward Choi, Joohyung Lee

ICML 2022 Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang, Joohyung Lee, Chiyoun Park

IJCAI 2020 NeurASP: Embracing Neural Networks into Answer Set Programming Zhun Yang, Adam Ishay, Joohyung Lee

AAAI 2017 A Logic Based Approach to Answering Questions About Alternatives in DIY Domains Yi Wang, Joohyung Lee, Doo Soon Kim

AAAI 2017 LPMLN, Weak Constraints, and P-Log Joohyung Lee, Zhun Yang

AAAI 2015 Action Language BC+: Preliminary Report Joseph Babb, Joohyung Lee

AAAI 2015 Handling Uncertainty in Answer Set Programming Yi Wang, Joohyung Lee

IJCAI 2013 Action Language BC: Preliminary Report Joohyung Lee, Vladimir Lifschitz, Fangkai Yang

IJCAI 2013 Answer Set Programming Modulo Theories and Reasoning About Continuous Changes Joohyung Lee, Yunsong Meng

IJCAI 2013 Functional Stable Model Semantics and Answer Set Programming Modulo Theories Michael Bartholomew, Joohyung Lee

AAAI 2012 Reformulating Temporal Action Logics in Answer Set Programming Joohyung Lee, Ravi Palla

JAIR 2012 Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming Joohyung Lee, Ravi Palla

IJCAI 2011 First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription Michael Bartholomew, Joohyung Lee, Yunsong Meng

JAIR 2011 First-Order Stable Model Semantics and First-Order Loop Formulas Joohyung Lee, Yunsong Meng

AAAI 2010 Situation Calculus as Answer Set Programming Joohyung Lee, Ravi Palla

IJCAI 2009 Circumscriptive Event Calculus as Answer Set Programming Tae-Won Kim, Joohyung Lee, Ravi Palla

IJCAI 2009 Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

AAAI 2008 A Reductive Semantics for Counting and Choice in Answer Set Programming Joohyung Lee, Vladimir Lifschitz, Ravi Palla

IJCAI 2007 A New Perspective on Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

AAAI 2006 Elementary Sets of Logic Programs Martin Gebser, Joohyung Lee, Yuliya Lierler

IJCAI 2005 A Model-Theoretic Counterpart of Loop Formulas Joohyung Lee

AAAI 2004 Loop Formulas for Circumscription Joohyung Lee, Fangzhen Lin

IJCAI 2003 Describing Additive Fluents in Action Language C+ Joohyung Lee, Vladimir Lifschitz