We stand with Ukraine

We stand with Ukraine

Joohyung Lee

Orcid: 0000-0002-9569-5575

Affiliations:

Arizona State University, Tempe, AZ, USA

According to our database¹, Joohyung Lee authored at least 83 papers between 2001 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2024

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023

Causal Laws and Multi-Valued Fluents.

[BibT_eX]

[DOI]

Enrico Giunchiglia

,

,

Vladimir Lifschitz

,

CoRR, 2023

Safe Formulas in the General Theory of Stable Models.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

,

CoRR, 2023

Leveraging Large Language Models to Generate Answer Set Programs.

[BibT_eX]

[DOI]

,

,

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.

[BibT_eX]

[DOI]

,

,

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.

[BibT_eX]

[DOI]

,

,

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Statistical Relational Extension of Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Machine Learning, 2022

2021

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +.

[BibT_eX]

[DOI]

,

Theory Pract. Log. Program., 2021

2020

Action language ℬℭ+.

[BibT_eX]

[DOI]

,

J. Log. Comput., 2020

NeurASP: Embracing Neural Networks into Answer Set Programming.

[BibT_eX]

[DOI]

,

,

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language.

[BibT_eX]

[DOI]

,

,

Theory Pract. Log. Program., 2019

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+.

[BibT_eX]

[DOI]

,

CoRR, 2019

First-order stable model semantics with intensional functions.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Artif. Intell., 2019

Explainable Fact Checking with Probabilistic Answer Set Programming.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2019 Truth and Trust Online Conference (TTO 2019), 2019

Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p<i>BC</i>+.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Translating LPOD and CR-Prolog2 into standard answer set programs.

[BibT_eX]

[DOI]

,

Theory Pract. Log. Program., 2018

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

[BibT_eX]

[DOI]

,

Theory Pract. Log. Program., 2018

A Probabilistic Extension of Action Language BC+.

[BibT_eX]

[DOI]

,

CoRR, 2018

Computing Logic Programs with Ordered Disjunction Using asprin.

[BibT_eX]

[DOI]

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Weight Learning in a Probabilistic Extension of Answer Set Programs.

[BibT_eX]

[DOI]

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Computing LPMLN using ASP and MLN solvers.

[BibT_eX]

[DOI]

,

Samidh Talsania

,

Theory Pract. Log. Program., 2017

Representing hybrid automata by action language modulo theories.

[BibT_eX]

[DOI]

,

,

Theory Pract. Log. Program., 2017

Fuzzy Propositional Formulas under the Stable Model Semantics.

[BibT_eX]

[DOI]

,

FLAP, 2017

A Logic Based Approach to Answering Questions about Alternatives in DIY Domains.

[BibT_eX]

[DOI]

,

,

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

LPMLN, Weak Constraints, and P-log.

[BibT_eX]

[DOI]

,

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic.

[BibT_eX]

[DOI]

,

CoRR, 2016

Weighted Rules under the Stable Model Semantics.

[BibT_eX]

[DOI]

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Online Action Language o<i>BC</i> +.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming.

[BibT_eX]

[DOI]

,

,

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Markov Logic Style Weighted Rules under the Stable Model Semantics.

[BibT_eX]

[DOI]

,

,

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

A Probabilistic Extension of the Stable Model Semantics.

[BibT_eX]

[DOI]

,

Proceedings of the 2015 AAAI Spring Symposia, 2015

Handling Uncertainty in Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Action Language BC+: Preliminary Report.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Stable Models of Multi-Valued Formulas: Partial versus Total Functions.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Stable Models of Fuzzy Propositional Formulas.

[BibT_eX]

[DOI]

,

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

System aspmt2smt: Computing ASPMT Theories by SMT Solvers.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

On the stable model semantics for intensional functions.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Theory Pract. Log. Program., 2013

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers

[BibT_eX]

[DOI]

,

CoRR, 2013

A Functional View of Strong Negation in Answer Set Programming.

[BibT_eX]

[DOI]

Michael Bartholomew

,

CoRR, 2013

Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.

[BibT_eX]

[DOI]

,

Proceedings of the IJCAI 2013, 2013

Action Language BC: Preliminary Report.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

,

Proceedings of the IJCAI 2013, 2013

Functional Stable Model Semantics and Answer Set Programming Modulo Theories.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Proceedings of the IJCAI 2013, 2013

2012

Representing first-order causal theories by logic programs.

[BibT_eX]

[DOI]

,

,

,

Vladimir Lifschitz

,

Theory Pract. Log. Program., 2012

Module theorem for the general theory of stable models.

[BibT_eX]

[DOI]

,

Theory Pract. Log. Program., 2012

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.

[BibT_eX]

[DOI]

,

J. Artif. Intell. Res., 2012

Stable Models of Formulas with Intensional Functions.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report).

[BibT_eX]

[DOI]

,

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Reformulating Action Language C+ in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

Vladimir Lifschitz - A Youth at 65.

[BibT_eX]

[DOI]

Neelakantan Kartha

,

,

,

,

,

,

,

Proceedings of the Correct Reasoning, 2012

Reformulating Temporal Action Logics in Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

On elementary loops of logic programs.

[BibT_eX]

[DOI]

,

,

Theory Pract. Log. Program., 2011

First-Order Stable Model Semantics and First-Order Loop Formulas.

[BibT_eX]

[DOI]

,

J. Artif. Intell. Res., 2011

Stable models and circumscription.

[BibT_eX]

[DOI]

,

,

Vladimir Lifschitz

Artif. Intell., 2011

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.

[BibT_eX]

[DOI]

Michael Bartholomew

,

,

Proceedings of the IJCAI 2011, 2011

Representing the Language of the Causal Calculator in Answer Set Programming.

[BibT_eX]

[DOI]

Michael Casolary

,

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).

[BibT_eX]

[DOI]

,

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription.

[BibT_eX]

[DOI]

Michael Bartholomew

,

,

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

A Decidable Class of Groundable Formulas in the General Theory of Stable Models.

[BibT_eX]

[DOI]

Michael Bartholomew

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Representing and Reasoning about Web Access Control Policies.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Situation Calculus as Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

System f2lp - Computing Answer Sets of First-Order Formulas.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

On Reductive Semantics of Aggregates in Answer Set Programming.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Circumscriptive Event Calculus as Answer Set Programming.

[BibT_eX]

[DOI]

,

,

Proceedings of the IJCAI 2009, 2009

Symmetric Splitting in the General Theory of Stable Models.

[BibT_eX]

[DOI]

,

,

Vladimir Lifschitz

,

Proceedings of the IJCAI 2009, 2009

2008

On Loop Formulas with Variables.

[BibT_eX]

[DOI]

,

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Safe Formulas in the General Theory of Stable Models (Preliminary Report).

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

,

Proceedings of the Logic Programming, 24th International Conference, 2008

A Reductive Semantics for Counting and Choice in Answer Set Programming.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

,

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.

[BibT_eX]

[DOI]

,

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

Head-Elementary-Set-Free Logic Programs.

[BibT_eX]

[DOI]

,

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A New Perspective on Stable Models.

[BibT_eX]

[DOI]

,

,

Vladimir Lifschitz

Proceedings of the IJCAI 2007, 2007

2006

A generalization of the Lin-Zhao theorem.

[BibT_eX]

[DOI]

,

,

Vladimir Lifschitz

Ann. Math. Artif. Intell., 2006

Loop formulas for circumscription.

[BibT_eX]

[DOI]

,

Artif. Intell., 2006

A Knowledge Module: Buying and Selling.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Elementary Sets of Logic Programs.

[BibT_eX]

[DOI]

,

,

Proceedings of the Proceedings, 2006

2005

A Model-Theoretic Counterpart of Loop Formulas.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Nonmonotonic causal theories.

[BibT_eX]

[DOI]

Enrico Giunchiglia

,

,

Vladimir Lifschitz

,

,

Artif. Intell., 2004

Representing the Zoo World and the Traffic World in the language of the Causal Calculator.

[BibT_eX]

[DOI]

,

Selim T. Erdogan

,

,

Vladimir Lifschitz

,

Artif. Intell., 2004

Nondefinite vs. Definite Causal Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Describing Additive Fluents in Action Language C+.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

Proceedings of the IJCAI-03, 2003

Loop Formulas for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

Proceedings of the Logic Programming, 19th International Conference, 2003

2001

Additive Fluents.

[BibT_eX]

[DOI]

,

Vladimir Lifschitz

Proceedings of the Answer Set Programming, 2001

Loading...