Additive Fluents. - Joohyung Lee 002; Vladimir Lifschitz (Answer Set Programming, 2001)

Loop Formulas for Disjunctive Logic Programs. - Joohyung Lee 002; Vladimir Lifschitz (ICLP, 2003)

Describing Additive Fluents in Action Language C+. - Joohyung Lee 002; Vladimir Lifschitz (IJCAI, 2003)

Nondefinite vs. Definite Causal Theories. - Joohyung Lee 002 (LPNMR, 2004)

Representing the Zoo World and the Traffic World in the language of the Causal Calculator. - Varol Akman; Selim T. Erdogan; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (Artif. Intell., 2004)

Nonmonotonic causal theories. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Norman McCain; Hudson Turner (Artif. Intell., 2004)

A Model-Theoretic Counterpart of Loop Formulas. - Joohyung Lee 002 (IJCAI, 2005)

Elementary Sets of Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (AAAI, 2006)

A Knowledge Module: Buying and Selling. - Joohyung Lee 002; Vladimir Lifschitz (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Loop formulas for circumscription. - Joohyung Lee 002; Fangzhen Lin (Artif. Intell., 2006)

A generalization of the Lin-Zhao theorem. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Ann. Math. Artif. Intell., 2006)

A New Perspective on Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (IJCAI, 2007)

Head-Elementary-Set-Free Logic Programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (LPNMR, 2007)

Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. - Joohyung Lee 002; Ravi Palla (CENT, 2007)

A Reductive Semantics for Counting and Choice in Answer Set Programming. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (AAAI, 2008)

Safe Formulas in the General Theory of Stable Models (Preliminary Report). - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (ICLP, 2008)

On Loop Formulas with Variables. - Joohyung Lee 002; Yunsong Meng (KR, 2008)

Symmetric Splitting in the General Theory of Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (IJCAI, 2009)

Circumscriptive Event Calculus as Answer Set Programming. - Tae-Won Kim; Joohyung Lee 002; Ravi Palla (IJCAI, 2009)

On Reductive Semantics of Aggregates in Answer Set Programming. - Joohyung Lee 002; Yunsong Meng (LPNMR, 2009)

System f2lp - Computing Answer Sets of First-Order Formulas. - Joohyung Lee 002; Ravi Palla (LPNMR, 2009)

Situation Calculus as Answer Set Programming. - Joohyung Lee 002; Ravi Palla (AAAI, 2010)

Representing and Reasoning about Web Access Control Policies. - Gail-Joon Ahn; Hongxin Hu; Joohyung Lee 002; Yunsong Meng (COMPSAC, 2010)

A Decidable Class of Groundable Formulas in the General Theory of Stable Models. - Michael Bartholomew; Joohyung Lee 002 (KR, 2010)

First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. - Michael Bartholomew; Joohyung Lee 002; Yunsong Meng (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). - Joohyung Lee 002; Ravi Palla (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Representing the Language of the Causal Calculator in Answer Set Programming. - Michael Casolary; Joohyung Lee 002 (ICLP (Technical Communications), 2011)

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

Stable models and circumscription. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz (Artif. Intell., 2011)

First-Order Stable Model Semantics and First-Order Loop Formulas. - Joohyung Lee 002; Yunsong Meng (J. Artif. Intell. Res., 2011)

On elementary loops of logic programs. - Martin Gebser; Joohyung Lee 002; Yuliya Lierler (Theory Pract. Log. Program., 2011)

Reformulating Temporal Action Logics in Answer Set Programming. - Joohyung Lee 002; Ravi Palla (AAAI, 2012)

Vladimir Lifschitz - A Youth at 65. - Neelakantan Kartha; Esra Erdem 001; Joohyung Lee 002; Paolo Ferraris; Wanwan Ren; Yuliya Lierler; Fangkai Yang; Albert Rondan (Correct Reasoning, 2012)

Reformulating Action Language C+ in Answer Set Programming. - Joohyung Lee 002 (Correct Reasoning, 2012)

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). - Joohyung Lee 002; Yunsong Meng (ICLP (Technical Communications), 2012)

Stable Models of Formulas with Intensional Functions. - Michael Bartholomew; Joohyung Lee 002 (KR, 2012)

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. - Joohyung Lee 002; Ravi Palla (J. Artif. Intell. Res., 2012)

Module theorem for the general theory of stable models. - Joseph Babb; Joohyung Lee 002 (Theory Pract. Log. Program., 2012)

Representing first-order causal theories by logic programs. - Paolo Ferraris; Joohyung Lee 002; Yuliya Lierler; Vladimir Lifschitz; Fangkai Yang (Theory Pract. Log. Program., 2012)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories. - Michael Bartholomew; Joohyung Lee 002 (IJCAI, 2013)

Action Language BC: Preliminary Report. - Joohyung Lee 002; Vladimir Lifschitz; Fangkai Yang (IJCAI, 2013)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. - Joohyung Lee 002; Yunsong Meng (IJCAI, 2013)

Cplus 2ASP: Computing Action Language ${ cal C}$ + in Answer Set Programming. - Joseph Babb; Joohyung Lee 002 (LPNMR, 2013)

A Functional View of Strong Negation in Answer Set Programming. - Michael Bartholomew; Joohyung Lee 002 (CoRR, 2013)

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers - Joohyung Lee 002; Yunsong Meng (CoRR, 2013)

On the stable model semantics for intensional functions. - Michael Bartholomew; Joohyung Lee 002 (Theory Pract. Log. Program., 2013)

System aspmt2smt: Computing ASPMT Theories by SMT Solvers. - Michael Bartholomew; Joohyung Lee 002 (JELIA, 2014)

Stable Models of Fuzzy Propositional Formulas. - Joohyung Lee 002; Yi Wang 048 (JELIA, 2014)

Stable Models of Multi-Valued Formulas: Partial versus Total Functions. - Michael Bartholomew; Joohyung Lee 002 (KR, 2014)

Action Language BC+: Preliminary Report. - Joseph Babb; Joohyung Lee 002 (AAAI, 2015)

Handling Uncertainty in Answer Set Programming. - Yi Wang 048; Joohyung Lee 002 (AAAI, 2015)

A Probabilistic Extension of the Stable Model Semantics. - Joohyung Lee 002; Yi Wang 048 (AAAI Spring Symposia, 2015)

Markov Logic Style Weighted Rules under the Stable Model Semantics. - Joohyung Lee 002; Yunsong Meng; Yi Wang 048 (ICLP (Technical Communications), 2015)

Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. - Joohyung Lee 002; Yi Wang 048; Yu Zhang (ICLP (Technical Communications), 2015)

Online Action Language oBC +. - Joseph Babb; Joohyung Lee 002 (LPNMR, 2015)

Weighted Rules under the Stable Model Semantics. - Joohyung Lee 002; Yi Wang 048 (KR, 2016)

On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic. - Joohyung Lee 002; Yi Wang 048 (CoRR, 2016)

LPMLN, Weak Constraints, and P-log. - Joohyung Lee 002; Zhun Yang (AAAI, 2017)

A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. - Yi Wang 048; Joohyung Lee 002; Doo Soon Kim (AAAI, 2017)

Fuzzy Propositional Formulas under the Stable Model Semantics. - Joohyung Lee 002; Yi Wang 048 (FLAP, 2017)

Representing hybrid automata by action language modulo theories. - Joohyung Lee 002; Nikhil Loney; Yunsong Meng (Theory Pract. Log. Program., 2017)

Computing LPMLN using ASP and MLN solvers. - Joohyung Lee 002; Samidh Talsania; Yi Wang 048 (Theory Pract. Log. Program., 2017)

Weight Learning in a Probabilistic Extension of Answer Set Programs. - Joohyung Lee 002; Yi Wang 048 (KR, 2018)

Computing Logic Programs with Ordered Disjunction Using asprin. - Joohyung Lee 002; Zhun Yang (KR, 2018)

A Probabilistic Extension of Action Language BC+. - Joohyung Lee 002; Yi Wang 048 (CoRR, 2018)

A Probabilistic Extension of Action Language ${ cal BC}$+\

Translating LPOD and CR-Prolog2 into standard answer set programs. - Joohyung Lee 002; Zhun Yang (Theory Pract. Log. Program., 2018)

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. - Yi Wang 048; Joohyung Lee 002 (LPNMR, 2019)

Explainable Fact Checking with Probabilistic Answer Set Programming. - Naser Ahmadi; Joohyung Lee 002; Paolo Papotti; Mohammed Saeed 002 (TTO, 2019)

First-order stable model semantics with intensional functions. - Michael Bartholomew; Joohyung Lee 002 (Artif. Intell., 2019)

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. - Yi Wang 048; Joohyung Lee 002 (CoRR, 2019)

Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. - Yi Wang 048; Shiqi Zhang 001; Joohyung Lee 002 (Theory Pract. Log. Program., 2019)

NeurASP: Embracing Neural Networks into Answer Set Programming. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (IJCAI, 2020)

Action language ℬℭ+. - Joseph Babb; Joohyung Lee 002 (J. Log. Comput., 2020)

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. - Yi Wang 048; Joohyung Lee 002 (Theory Pract. Log. Program., 2021)

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

Statistical Relational Extension of Answer Set Programming. - Joohyung Lee 002; Zhun Yang (RW, 2022)

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (ACL (Findings), 2023)

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (ICLR, 2023)

Leveraging Large Language Models to Generate Answer Set Programs. - Adam Ishay; Zhun Yang; Joohyung Lee 002 (KR, 2023)

Safe Formulas in the General Theory of Stable Models. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (CoRR, 2023)

Causal Laws and Multi-Valued Fluents. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (CoRR, 2023)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. - Adam Ishay; Zhun Yang; Joohyung Lee 002; Ilgu Kang; Dongjae Lim (WACV, 2024)

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions. - Adam Ishay; Joohyung Lee 002 (AAAI, 2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers. - Michael Bartholomew; Joohyung Lee 002 (CoRR, 2025)