Joohyung Lee

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 40

Top Venues

CoRR

Theory Pract. Log. Program.

AAAI

Publications

Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. WACV (2024)
Zhun Yang, Adam Ishay, Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming. CoRR (2023)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Elementary Sets for Logic Programs. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. ACL (Findings) (2023)
Zhun Yang, Joohyung Lee, Chiyoun Park
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. CoRR (2023)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models. CoRR (2023)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
Causal Laws and Multi-Valued Fluents. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. CoRR (2023)
Adam Ishay, Zhun Yang, Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. ICLR (2023)
Michael Bartholomew, Joohyung Lee
First-Order Stable Model Semantics with Intensional Functions. CoRR (2023)
Joohyung Lee, Yunsong Meng
On Loop Formulas with Variables. CoRR (2023)
Adam Ishay, Zhun Yang, Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs. KR (2023)
Joohyung Lee, Zhun Yang
Statistical Relational Extension of Answer Set Programming. Reasoning Web (2022)
Zhun Yang, Joohyung Lee, Chiyoun Park
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. ICML (2022)
Yi Wang, Joohyung Lee
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. Theory Pract. Log. Program. 21 (3) (2021)
Zhun Yang, Adam Ishay, Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming. IJCAI (2020)
Joseph Babb, Joohyung Lee
Action language ℬℭ+. J. Log. Comput. 30 (4) (2020)
Yi Wang, Joohyung Lee
+. LPNMR (2019)
Yi Wang, Shiqi Zhang, Joohyung Lee
Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Theory Pract. Log. Program. 19 (5-6) (2019)
Yi Wang, Joohyung Lee
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. CoRR (2019)
Yi Wang, Shiqi Zhang, Joohyung Lee
Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. CoRR (2019)
Michael Bartholomew, Joohyung Lee
First-order stable model semantics with intensional functions. Artif. Intell. 273 (2019)
Joohyung Lee, Yi Wang
A Probabilistic Extension of Action Language BC+. CoRR (2018)
Joohyung Lee, Zhun Yang
Computing Logic Programs with Ordered Disjunction Using asprin. KR (2018)
Joohyung Lee, Yi Wang
Weight Learning in a Probabilistic Extension of Answer Set Programs. CoRR (2018)
Joohyung Lee, Yi Wang
A Probabilistic Extension of Action Language ${\cal BC}$+}$. Theory Pract. Log. Program. 18 (3-4) (2018)
Joohyung Lee, Yi Wang
Weight Learning in a Probabilistic Extension of Answer Set Programs. KR (2018)
Joohyung Lee, Zhun Yang
Translating LPOD and CR-Prolog2 into standard answer set programs. Theory Pract. Log. Program. 18 (3-4) (2018)
Joohyung Lee, Zhun Yang
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs. CoRR (2018)
Joohyung Lee, Nikhil Loney, Yunsong Meng
Representing Hybrid Automata by Action Language Modulo Theories. CoRR (2017)
Joohyung Lee, Samidh Talsania, Yi Wang
Computing LPMLN using ASP and MLN solvers. Theory Pract. Log. Program. 17 (5-6) (2017)
Joohyung Lee, Yi Wang
Fuzzy Propositional Formulas under the Stable Model Semantics. FLAP 4 (7) (2017)
Joohyung Lee, Nikhil Loney, Yunsong Meng
Representing hybrid automata by action language modulo theories. Theory Pract. Log. Program. 17 (5-6) (2017)
Joohyung Lee, Zhun Yang
LPMLN, Weak Constraints, and P-log. AAAI (2017)
Joohyung Lee, Samidh Talsania, Yi Wang
Computing LPMLN Using ASP and MLN Solvers. CoRR (2017)
Yi Wang, Joohyung Lee, Doo Soon Kim
A Logic Based Approach to Answering Questions about Alternatives in DIY Domains. AAAI (2017)
Joohyung Lee, Yi Wang
Weighted Rules under the Stable Model Semantics. KR (2016)
Joohyung Lee, Yi Wang
On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic. CoRR (2016)
Joohyung Lee, Yi Wang
A Probabilistic Extension of the Stable Model Semantics. AAAI Spring Symposia (2015)
Joohyung Lee, Yunsong Meng, Yi Wang
Markov Logic Style Weighted Rules under the Stable Model Semantics. ICLP (Technical Communications) (2015)
Joseph Babb, Joohyung Lee
+. LPNMR (2015)
Joseph Babb, Joohyung Lee
Action Language BC+: Preliminary Report. AAAI (2015)
Joohyung Lee, Yi Wang, Yu Zhang
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. ICLP (Technical Communications) (2015)
Yi Wang, Joohyung Lee
Handling Uncertainty in Answer Set Programming. AAAI (2015)
Michael Bartholomew, Joohyung Lee
Stable Models of Multi-Valued Formulas: Partial versus Total Functions. KR (2014)
Michael Bartholomew, Joohyung Lee
System aspmt2smt: Computing ASPMT Theories by SMT Solvers. JELIA (2014)
Joohyung Lee, Yi Wang
Stable Models of Fuzzy Propositional Formulas. PRUV (2014)
Joohyung Lee, Yunsong Meng
First-Order Stable Model Semantics and First-Order Loop Formulas. CoRR (2014)
Joohyung Lee, Yi Wang
Stable Models of Fuzzy Propositional Formulas. JELIA (2014)
Joohyung Lee, Ravi Palla
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. CoRR (2014)
Joohyung Lee, Yunsong Meng
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. IJCAI (2013)
Michael Bartholomew, Joohyung Lee
Functional Stable Model Semantics and Answer Set Programming Modulo Theories. IJCAI (2013)
Michael Bartholomew, Joohyung Lee
On the stable model semantics for intensional functions. Theory Pract. Log. Program. 13 (4-5) (2013)
Michael Bartholomew, Joohyung Lee
A Functional View of Strong Negation in Answer Set Programming. CoRR (2013)
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
Action Language BC: Preliminary Report. IJCAI (2013)
Joseph Babb, Joohyung Lee
Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. LPNMR (2013)
Joohyung Lee, Yunsong Meng
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers CoRR (2013)
Joohyung Lee
Reformulating Action Language C+ in Answer Set Programming. Correct Reasoning (2012)
Joohyung Lee, Ravi Palla
Reformulating Temporal Action Logics in Answer Set Programming. AAAI (2012)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12 (3) (2012)
Joseph Babb, Joohyung Lee
Module Theorem for The General Theory of Stable Models CoRR (2012)
Joohyung Lee, Yunsong Meng
Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). ICLP (Technical Communications) (2012)
Joseph Babb, Joohyung Lee
Module theorem for the general theory of stable models. Theory Pract. Log. Program. 12 (4-5) (2012)
Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
Vladimir Lifschitz - A Youth at 65. Correct Reasoning (2012)
Michael Bartholomew, Joohyung Lee
Stable Models of Formulas with Intensional Functions. KR (2012)
Joohyung Lee, Ravi Palla
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. J. Artif. Intell. Res. 43 (2012)
Joohyung Lee, Yunsong Meng
First-Order Stable Model Semantics and First-Order Loop Formulas. J. Artif. Intell. Res. 42 (2011)
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Representing First-Order Causal Theories by Logic Programs CoRR (2011)
Michael Bartholomew, Joohyung Lee, Yunsong Meng
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. IJCAI (2011)
Michael Bartholomew, Joohyung Lee, Yunsong Meng
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Joohyung Lee, Ravi Palla
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
Stable models and circumscription. Artif. Intell. 175 (1) (2011)
Michael Casolary, Joohyung Lee
Representing the Language of the Causal Calculator in Answer Set Programming. ICLP (Technical Communications) (2011)
Joohyung Lee, Ravi Palla
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). LPNMR (2011)
Martin Gebser, Joohyung Lee, Yuliya Lierler
On elementary loops of logic programs. Theory Pract. Log. Program. 11 (6) (2011)
Martin Gebser, Joohyung Lee, Yuliya Lierler
On Elementary Loops of Logic Programs CoRR (2010)
Michael Bartholomew, Joohyung Lee
A Decidable Class of Groundable Formulas in the General Theory of Stable Models. KR (2010)
Joohyung Lee, Ravi Palla
Situation Calculus as Answer Set Programming. AAAI (2010)
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng
Representing and Reasoning about Web Access Control Policies. COMPSAC (2010)
Joohyung Lee, Yunsong Meng
On Reductive Semantics of Aggregates in Answer Set Programming. LPNMR (2009)
Tae-Won Kim, Joohyung Lee, Ravi Palla
Circumscriptive Event Calculus as Answer Set Programming. IJCAI (2009)
Joohyung Lee, Ravi Palla
System f2lp - Computing Answer Sets of First-Order Formulas. LPNMR (2009)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Symmetric Splitting in the General Theory of Stable Models. IJCAI (2009)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP (2008)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI (2008)
Joohyung Lee, Yunsong Meng
On Loop Formulas with Variables. KR (2008)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Head-Elementary-Set-Free Logic Programs. LPNMR (2007)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A New Perspective on Stable Models. IJCAI (2007)
Joohyung Lee, Ravi Palla
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CENT (2007)
Joohyung Lee, Vladimir Lifschitz
A Knowledge Module: Buying and Selling. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Joohyung Lee, Fangzhen Lin
Loop formulas for circumscription. Artif. Intell. 170 (2) (2006)
Martin Gebser, Joohyung Lee, Yuliya Lierler
Elementary Sets of Logic Programs. AAAI (2006)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Joohyung Lee
A Model-Theoretic Counterpart of Loop Formulas. IJCAI (2005)
Joohyung Lee, Fangzhen Lin
Loop Formulas for Circumscription. AAAI (2004)
Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. 153 (1-2) (2004)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
Nonmonotonic causal theories. Artif. Intell. 153 (1-2) (2004)
Joohyung Lee
Nondefinite vs. Definite Causal Theories. LPNMR (2004)

Joohyung Lee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joohyung Lee