2023
  1. Learning to Solve Constraint Satisfaction Problems with Recurrent Transformers. Zhun Yang, Adam Ishay, Joohyung Lee. In Proceedings of the 11th International Conference on Learning Representations (ICLR 2023), 2023, to appear.
  2. 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. In Proceedings of the 35th Conference on Innovative Applications of Artificial Intelligence (IAAI 2023), 2023, to appear.
  3. Statistical Relational Extension of Answer Set Programming. Joohyung Lee and Zhun Yang. Reasoning Web. Causality, Explanations and Declarative Knowledge, pp. 132-160, Springer LNCS Volume 13759, 2023.
  4. Neuro-Symbolic AI Approaches to Enhance Neural Networks with Logical Reasoning and Knowledge Integration. Zhun Yang. Ph.D. Dissertation, 2023.
  5. Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. Zhun Yang, Adam Ishay, and Joohyung Lee. Findings of ACL: ACL 2023, to appear.
  6. Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles. Adam Ishay, Zhun Yang, and Joohyung Lee, KR 2023, to appear.
2022
  1. Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. Zhun Yang, Joohyung Lee, Chiyoun Park. In Proceedings of the 39th International Conference on Machine Learning (ICML 2022), 2022.
  2. Statistical Relational Extension of Answer Set Programming. Joohyung Lee. Invited lecture at 18th Reasoning Web Summer School, 2022.
2021
  1. Modular Enhancements to a Neuro-Symbolic Model with Causal and Temporal Constraints. Adam Ishay, Ilgu Yang, Dongjae Lim, Zhun Yang, Joohyung Lee. In Working Notes of ICCV'21 MAIR2 Workshop, 2021.
2020
  1. NeurASP: Embracing Neural Networks into Answer Set Programming. Zhun Yang, Adam Ishay, Joohyung Lee. In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020.
  2. Extending Answer Set Programs with Neural Networks. Zhun Yang. Awarded the "Best Doctoral Consortium Paper" in the 36th International Conference on Logic Programming (ICLP 2020).
2019
  1. First-Order Stable Model Semantics with Intensional Functions. Michael Bartholomew and Joohyung Lee. Artificial Intelligence 273, 56-93, 2019.
  2. Elaboration Tolerant Representation of Markov Decision Process via Decision Theoretic Extension of Action Language pBC+. Yi Wang and Joohyung Lee. In Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), pages 224-238, 2019.
  3. Strong equivalence for LPMLN programs. Joohyung Lee and Man Luo. In Working Notes of the 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2019), 2019
  4. Strong equivalence for LPMLN programs. Joohyung Lee and Man Luo. 35th International Conference on Logic Programming (ICLP 2019), 2019.
  5. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Yi Wang, Shiqi Zhang and Joohyung Lee. 35th International Conference on Logic Programming (ICLP 2019), 2019.
  6. Explainable Fact Checking with Probabilistic Answer Set Programming. Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed. Conference on Truth and Trust Online (TTO 2019), 2019.
2018
  1. A Probabilistic Extension of Action Language BC+. Joohyung Lee and Yi Wang. Theory and Practice of Logic Programming (TPLP), 18(3-4), 607-622, 2018. (arxiv)
  2. Translating LPOD and CRProlog2 into Standard Answer Set Programs. Joohyung Lee and Zhun Yang. Theory and Practice of Logic Programming (TPLP), 18(3-4), 589-606, 2018. (arxiv)
  3. Weight Learning in a Probabilistic Extension of Answer Set Programs. Joohyung Lee and Yi Wang. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. (arxiv)
  4. Computing Logic Programs with Ordered Disjunction Using asprinRepresenting Logic Programs with Ordered Disjunction in asprin. Joohyung Lee and Zhun Yang. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018.
  5. A Model-Based Approach to Visual Reasoning on CNLVR Dataset. Shailaja Keyur Sampat and Joohyung Lee. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018.
  6. Explainable Fact Checking by Combining Automated Rule Discovery with Probabilistic Answer Set Programming. Anish Pradhan, MS thesis, 2018.
  7. Recent Developments in Action Languages Based on Extensions of Answer Set Programs. Joohyung Lee. In Working Notes of Reasoning about Actions and Processes: Highlights of Recent Advances (KR Workshop), 2018.
2017
  1. LP^{MLN}, Weak Constraints, and P-log. Joohyung Lee and Zhun Yang. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), pages 1170-1177, 2017. (Longer version with proofs)
  2. A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. Yi Wang, Joohyung Lee and Doo Soon Kim. In Proceedings of the 29th Conference on Innovative Applications of Artificial Intelligence (IAAI 2017), pages 4753-4759, 2017.
  3. A Logic Approach to Modeling Nomenclatural Change. Nico Franz, Chao Zhang and Joohyung Lee. Cladistics, ISSN 1096-0031, 2017.
  4. Representing Hybrid Automata by Action Language Modulo Theories. Joohyung Lee, Nikhil Loney and Yunsong Meng. Journal of Theory and Practice of Logic Programming (TPLP), 2017.
  5. Computing LPMLN Using ASP and MLN Solvers. Joohyung Lee, Samidh Talsania, and Yi Wang. Journal of Theory and Practice of Logic Programming (TPLP), 2017.
  6. Fuzzy Propositional Formulas under the Stable Model Semantics. Joohyung Lee and Yi Wang. In the Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness of the IfCoLog Journal of Logics and their Applications, pages 1927-1972, 2017
  7. Representing Hybrid Transition Systems in an Action Language Modulo ODEs. Nikhil Loney. MS thesis, 2017.
  8. On the Relationships Among Probabilistic Extensions of Answer Set Semantics. Zhun Yang. MS thesis, 2017.
  9. Computing a Probabilistic Extension of Answer Set Program Language Using ASP and Markov Logic Solvers. Samidh Talsania. MS thesis, 2017.
2016
  1. Weighted Rules under the Stable Model Semantics. Joohyung Lee and Yi Wang. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pages 145-154, 2016. (Longer versionwith proofs). (Also appeared in Working Notes of the 6th International Workshop on Statistical Relational AI (StarAI 2016))
  2. On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic. Joohyung Lee and Yi Wang. In Working Notes of the 6th International Workshop on Statistical Relational AI (StarAI 2016), 2016. (In ArXiv)
  3. Fuzzy Propositional Formulas under the Stable Model Semantics. Joohyung Lee and Yi Wang. In the Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness of the IfCoLog Journal of Logics and their Applications, 2016.
  4. Answer Set Programming Modulo Theories. Joohyung Lee. AAAI 2016 Tutorial, 2016.
  5. Answer Set Programming Modulo Theories. Michael Bartholomew. Ph.D. Dissertation, 2016.
2015

  1. Action Language BC+: Preliminary Report. Joseph Babb and Joohyung Lee. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pages 1424-1430, 2015.
  2. Handling Uncertainty in Answer Set Programming. Yi Wang and Joohyung Lee. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pages 4218-4219, 2015.
  3. A Probabilistic Extension of the Stable Model Semantics. Joohyung Lee and Yi Wang. In Working Notes of Commonsense 2015: 12th Symposium on Logical Formalizations of Commonsense Reasoning, 2015.
  4. Action Language BC+. Joseph Babb and Joohyung Lee. Journal of Logic and Computation, 2015.
  5. Recognizing Social Constructs from Textual Conversation. Aditya et al., In Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics – Human Language Technologies (NAACL HLT 2015), pages 1293--1298, 2015.
  6. Online Action Language oBC+. Joseph Babb and Joohyung Lee. In Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015).
  7. Markov Logic Style Weighted Rules under the Stable Model Semantics. Joohyung Lee, Yunsong Meng, and Yi Wang. In Proceedings of the 31st International Conference on Logic Programming (ICLP 2015).
  8. Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. Joohyung Lee, Yi Wang, and Yu Zhang. In Proceedings of the 31st International Conference on Logic Programming (ICLP 2015).
2014

  1. Stable Models of Multi-Valued Formulas: Partial vs. Total Functions. Michael Bartholomew and Joohyung Lee. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), pages 583-586, 2014.
  2. Action Language BC+: Preliminary Report. Joseph Babb and Joohyung Lee. In Working Notes of the 7th Workshop of Answer Set Programming and Other Computing Paradigms (ASPOCP 2014), 2014.
  3. Stable Models of Fuzzy Propositional Formulas. Joohyung Lee and Yi Wang. In Working Notes of the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), 2014.
  4. Stable Models of Fuzzy Propositional Formulas. Joohyung Lee and Yi Wang. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), 2014.
  5. System ASPMT2SMT: Reducing ASPMT Theories to SMT. Michael Bartholomew and Joohyung Lee. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), 2014.
  6. Towards Efficient Online Reasoning about Actions. Joseph Babb. MS Thesis, 2014.
2013

  1. Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. Joohyung Lee and Yunsong Meng. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pages 990-996, 2013.
  2. Functional Stable Model Semantics and Answer Set Programming Modulo Theories. Michael Bartholomew and Joohyung Lee. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pages 718-724, 2013.
  3. Action Language BC: Preliminary Report. Joohyung Lee, Vladimir Lifschitz, and Fangkai Yang. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pages 983-989, 2013.
  4. Progressive Monitoring and Treatment Planning of Diabetes Mellitus in Smart Home Environment. Topi Pulkkinen, Young-Sung Son, Joohyung Lee, Yann-Hang Lee, Mikko Sallinen and Jun-Hee Park, ICCE 2013, 2013.
  5. On the Stable Model Semantics for Intensional Functions. Michael Bartholomew and Joohyung Lee. Journal of Theory and Practice of Logic Programming (TPLP), 13(4-5), 2013. (appendix)
  6. Cplus2ASP: Computing Action Language C+ in Answer Set Programming. Joseph Babb and Joohyung Lee. In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 122-134, 2013.
  7. A Functional View of Strong Negation in Answer Set Programming. Michael Bartholomew and Joohyung Lee. In Working Notes of the 6th Workshop of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 2013.
  8. Functional Stable Model Semantics, Answer Set Programming Modulo Theories, and Action Languages. Joohyung Lee. Invited talk at 10th International Workshop on Nonmonotonic Reasoning, Action and Change. 2013.
  9. Using ASP to Simulate the Interplay of Taxonomic and Nomenclatural Change. Nico Franz, Joohyung Lee, and Chao Zhang, 2013. TDWG 2013 Annual Conference, 2013.
  10. Conference report: ICLP 2013. Esra Erdem, Evelina Lamma, Joohyung Lee and Terrance Swift. ALP Newsletter, 2013.
  11. Answer Set Programming and Other Computing Paradigms. Yunsong Meng. Ph.D. dissertation. 2013.
2012

  1. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. Joohyung Lee and Ravi Palla. Journal of Artificial Intelligence Research (JAIR), 43:571-620, 2012.
  2. Representing First-Order Causal Theories by Logic Programs. Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang. Journal of Theory and Practice of Logic Programming (TPLP), 12(3) 383-412, 2012.
  3. Stable Models of Formulas with Intensional Functions. Michael Bartholomew and Joohyung Lee. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pages 2-12, 2012.
  4. Reformulating Temporal Action Logics in Answer Set Programming. Joohyung Lee and Ravi Palla. In Proc. 26th AAAI Conferences on Artificial Intelligence (AAAI 2012), pages 786-792, 2012.
  5. Reformulating Action Language C+ in Answer Set Programming. Joohyung Lee. Correct Reasoning, pp. 405-421, LNCS Vol 7265, 2012.
  6. Stable Models of Formulas with Generalized Quantifiers. Joohyung Lee and Yunsong Meng.14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 2012.
  7. Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). Joohyung Lee and Yunsong Meng. In Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), 61-71, 2012.
  8. Module Theorem for the General Theory of Stable Models. Joseph Babb and Joohyung Lee. Journal of Theory and Practice of Logic Programming (TPLP), 12(4-5):719-735, 2012.
  9. Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers. Joohyung Lee and Yunsong Meng. In Working Notes of the 5th Workshop of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 2012.
  10. Theory and Practice of Answer Set Programming. Esra Erdem, Joohyung Lee and Yuliya Lierler. AAAI 2012 Tutorial, 2012.
  11. Esra Erdem, Joohyung Lee, Yuliya Lierler and David Pearce (Editors). Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. LNCS Vol 7265.
  12. Bridging the Gap between Classical Logic Based Formalisms and Logic Programs. Ravi Palla. Ph.D. dissertation. 2012.
2011

  1. Stable Models and Circumscription. Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz. Artificial Intelligence, 175(1):236-263, 2011.
  2. On Elementary Loops of Logic Programs. Martin Gebser, Joohyung Lee and Yuliya Lierler. Journal of Theory and Practice of Logic Programming (TPLP), 11(6):953-988, 2011.
  3. First-Order Extension of the FLP Semantics. Michael Bartholomew, Joohyung Lee and Yunsong Meng. In Working Notes of Commonsense 2011.
  4. Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). Joohyung Lee and Ravi Palla. In Working Notes of Commonsense 2011.
  5. Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). Joohyung Lee and Ravi Palla. In Proc. 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 248-253, 2011.
  6. Representing the Language of the Causal Calculator in Answer Set Programming. Michael Casolary and Joohyung Lee. In Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), pages 51-61, 2011.
  7. First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. Michael Bartholomew, Joohyung Lee and Yunsong Meng. In Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pages 724-730, 2011.
  8. First-Order Stable Model Semantics and First-Order Loop Formulas. Joohyung Lee and Yunsong Meng. Journal of Artificial Intelligence Research (JAIR), 42:125-180, 2011
  9. Representing the Language of the Causal Calculator in Answer Set Programming. Michael Casolary. MS thesis.
2010

  1. Situation Calculus as Answer Set Programming. Joohyung Lee and Ravi Palla. In Proc. 24th AAAI Conferences on Artificial Intelligence (AAAI 2010), pages 309-314, 2010.
  2. A Decidable Class of Groundable Formulas in the General Theory of Stable Models. Michael Bartholomew and Joohyung Lee. In Proc.12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pages 477-485, 2010.
  3. Representing and Reasoning about Web Access Control Policies.a Gail-Joon Ahn, Hongxin Hu, Joohyung Lee and Yunsong Meng. In Proc. 34th Annual IEEE Computer Software and Applications Conference (COMPSAC 2010), pages 137-146, 2010.
  4. Representing Synonymity in Causal Logic and in Logic Programming. Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, and Fangkai Yang. In Proc. 13th International Workshop on Nonmonotonic Reasoning (NMR 2010), 2010.
  5. Reasoning about XACML Policy Descriptions in Answer Set Programming (Preliminary Report). Gail-Joon Ahn, Hongxin Hu, Joohyung Lee and Yunsong Meng. In Proc. 13th International Workshop on Nonmonotonic Reasoning (NMR 2010), 2010.
2009

  1. A Reductive Semantics for Counting and Choice in Answer Set Programming. Joohyung Lee, Vladimir Lifschitz and Ravi Palla. In Proc.Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), pages 472-479, 2008.
  2. On Loop Formulas with Variables. Joohyung Lee and Yunsong Meng. In Proc. Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 444-453, 2008.
  3. Safe Formulas in the General Theory of Stable Models (Preliminary Report). Joohyung Lee, Vladimir Lifschitz and Ravi Palla. In Proc. 19th International Conference on Logic Programming (ICLP 2008), pages 672-676, 2008.
  4. Safe Formulas in the General Theory of Stable Models. Joohyung Lee, Vladimir Lifschitz and Ravi Palla. Extended version of the ICLP 2008 paper. Unpublished.
  5. Classical Logic Event Calculus as Answer Set Programming. Joohyung Lee and Ravi Palla. In Working Notes of Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), pages 119-133, 2008.
2008

  1. Symmetric Splitting in the General Theory of Stable Models. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz and Ravi Palla. In Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 797-803, 2009.
  2. Circumscriptive Event Calculus as Answer Set Programming. Tae-Won Kim, Joohyung Lee and Ravi Palla. In Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 823–829, 2009.
  3. On Reductive Semantics of Aggregates in Answer Set Programming. Joohyung Lee and Yunsong Meng. In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), pp. 182–195, 2009.
  4. System F2LP - Computing Answer Sets of First-Order Formulas. Joohyung Lee and Ravi Palla. In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), pp. 515–521, 2009.
  5. Implementing and Experimenting with Answer Set Programming Based Event Calculus Reasoner. Tae-Won Kim. MS thesis.
2007

  1. A New Perspective on Stable Models. Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz. In Proc. Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 372-379, 2007.
  2. Head-Elementary-Set-Free Logic Programs. Martin Gebser, Joohyung Lee and Yuliya Lierler. In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), pages 149-161, 2007.
  3. Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. Joohyung Lee and Ravi Palla. In Working notes of Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), pages 1-12, 2007. (CEUR Vol 265).
2006

  1. Loop Formulas for Circumscription. Joohyung Lee and Fangzhen Lin. Artificial Intelligence, 170(2):160-185, 2006.
  2. A Generalization of the Lin-Zhao Theorem. Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz. Annals of Mathematics and Artificial Intelligence, 47(1-2):79-101, 2006.
  3. Elementary Sets for Logic Programs.Martin Gebser, Joohyung Lee and Yuliya Lierler. In Proc. The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI 2006), pages 244-249, 2006.
  4. A Knowledge Module: Buying and Selling. Joohyung Lee and Vladimir Lifsschitz. In Working Notes of AAAI 2006 Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering, pages 28-32, 2006.
  5. Elementary Sets for Logic Programs. Martin Gebser, Joohyung Lee and Yuliya Lierler. In Working notes of 11th International Workshop on Nonmonotonic Reasoning (NMR 2006).
2005