Joohyung Lee

发表

Reasoning about XACML Policy Descriptions in Answer Set Programming ( Preliminary Report )

Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, 2010 .

A New Perspective on Stable Models

Joohyung Lee, Vladimir Lifschitz, Paolo Ferraris, 2007, IJCAI.

Action Language o BC +

Joohyung Lee, Joseph Babb, 2015 .

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

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2014, KR.

Classical Logic Event Calculus as Answer Set Programming

Joohyung Lee, R. Palla, 2008 .

Bridging the gap between classical logic based formalisms and logic programs

Joohyung Lee, R. Palla, 2012 .

A Reductive Semantics for Counting and Choice in Answer Set Programming

Joohyung Lee, Vladimir Lifschitz, Ravi Palla, 2008, AAAI.

Stable Models of Formulas with Generalized Quantifiers

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2012 .

Automated Reasoning about Actions

Joohyung Lee, Joohyung Lee, 2005 .

MLN , Weak Constraints , and P-log

Zhun Yang, Joohyung Lee, Joohyung Lee, 2017 .

A Logic Approach to Modeling Nomenclatural Change

Nico M. Franz, Chao Zhang, Joohyung Lee, 2016, bioRxiv.

Recent Developments in Action Languages Based on Extensions of Answer Set Programs

Joohyung Lee, 2018 .

Acapulco , Mexico , 2003 Describing Additive Fluents in Action Language � +

V. Lifschitz, Joohyung Lee, 2022 .

Reformulating Action Language C+ in Answer Set Programming

Joohyung Lee, Joohyung Lee, 2012, Correct Reasoning.

First-Order Extension of the FLP Semantics

Joohyung Lee, Yunsong Meng, M. Bartholomew, 2011 .

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators

Joohyung Lee, Zhun Yang, Chi-youn Park, 2023, ICML.

A Representation of the Traffic World in the Language of the Causal Calculator

Varol Akman, Vladimir Lifschitz, Selim T. Erdoğan, 2001 .

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

Joohyung Lee, Ravi Palla, Joohyung Lee, 2014, J. Artif. Intell. Res..

Circumscriptive Event Calculus as Answer Set Programming

Joohyung Lee, Ravi Palla, Tae-Won Kim, 2009, IJCAI.

A generalization of the Lin-Zhao theorem

Joohyung Lee, Vladimir Lifschitz, Paolo Ferraris, 2006, Annals of Mathematics and Artificial Intelligence.

Loop formulas for circumscription

Fangzhen Lin, Joohyung Lee, Fangzhen Lin, 2004, Artif. Intell..

Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, 2004, Artif. Intell..

NeurASP: Embracing Neural Networks into Answer Set Programming

Joohyung Lee, Zhun Yang, Adam Ishay, 2020, IJCAI.

A Probabilistic Extension of the Stable Model Semantics

Joohyung Lee, Yi Wang, Joohyung Lee, 2015, AAAI Spring Symposia.

Reformulating Temporal Action Logics in Answer Set Programming

Joohyung Lee, Ravi Palla, Joohyung Lee, 2012, AAAI.

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

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2011, J. Artif. Intell. Res..

Representing first-order causal theories by logic programs pdf

Yuliya Lierler, Fangkai Yang, Joohyung Lee, 2011, Theory and Practice of Logic Programming.

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

Joohyung Lee, Michael Bartholomew, Yunsong Meng, 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

Stable models and circumscription

Joohyung Lee, Vladimir Lifschitz, Paolo Ferraris, 2011, Artif. Intell..

A Study on the relationship analysis between the K-REITs loaning rate and interest rate variables

Joohyung Lee, Sang-jin Kim, 2016 .

On elementary loops of logic programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2010, Theory and Practice of Logic Programming.

Head-Elementary-Set-Free Logic Programs

Yuliya Lierler, Martin Gebser, Joohyung Lee, 2007, LPNMR.

A Model-Theoretic Counterpart of Loop Formulas

Joohyung Lee, Joohyung Lee, 2005, IJCAI.

Loop Formulas for Disjunctive Logic Programs

Joohyung Lee, Vladimir Lifschitz, V. Lifschitz, 2003, ICLP.

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

Yi Wang, Joohyung Lee, Joohyung Lee, 2019, LPNMR.

Markov Logic Style Weighted Rules under the Stable Model Semantics

Joohyung Lee, Yi Wang, Yunsong Meng, 2015, ICLP.

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

Yi Wang, Joohyung Lee, Shiqi Zhang, 2019, Theory and Practice of Logic Programming.

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2013, IJCAI.

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2013, IJCAI.

On the stable model semantics for intensional functions

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2013, Theory and Practice of Logic Programming.

On Loop Formulas with Variables

Joohyung Lee, Yunsong Meng, Joohyung Lee, 2008, KR.

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

Joohyung Lee, Yi Wang, Doo Soon Kim, 2017, AAAI.

LPMLN, Weak Constraints, and P-log

Joohyung Lee, Zhun Yang, Joohyung Lee, 2017, AAAI.

Statistical Relational Extension of Answer Set Programming

Joohyung Lee, Zhun Yang, 2022, Reasoning Web.

Weak Constraints , and Plog

Joohyung Lee, Zhun Yang, 2016 .

A logic approach to modelling nomenclatural change

Nico M. Franz, Chao Zhang, Joohyung Lee, 2018, Cladistics : the international journal of the Willi Hennig Society.

Modular Enhancements to a Neuro-Symbolic Model with Causal and Temporal Constraints (Extended Abstract)

Joohyung Lee, Zhun Yang, Adam Ishay, 2021 .

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

Joohyung Lee, Zhun Yang, Adam Ishay, 2023, ACL.

Leveraging Large Language Models to Generate Answer Set Programs

Joohyung Lee, Zhun Yang, Adam Ishay, 2023, KR.

First-order stable model semantics with intensional functions

Joohyung Lee, Michael Bartholomew, Joohyung Lee, 2019, Artif. Intell..

Explainable Fact Checking with Probabilistic Answer Set Programming pdf

Paolo Papotti, Mohammed Saeed, Naser Ahmadi, 2019, TTO.

Recognizing Social Constructs from Textual Conversation

Jieping Ye, Chitta Baral, Richard B. Scherl, 2015, NAACL.

NeurASP: Embracing Neural Networks into Answer Set Programming

Joohyung Lee, Zhun Yang, Adam Ishay, 2020, IJCAI.

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer

Joohyung Lee, Zhun Yang, Adam Ishay, 2023, International Conference on Learning Representations.

Weighted Rules under the Stable Model Semantics

Joohyung Lee, Yi Wang, Joohyung Lee, 2016, KR.

Representing and Reasoning about Web Access Control Policies

Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference.

Action Language BC+: Preliminary Report

Joohyung Lee, Joseph Babb, Joohyung Lee, 2015, AAAI.

Theory and Practice of Logic Programming 1 Module Theorem for The General Theory of Stable Models

Joohyung Lee, Joseph Babb, Joohyung Lee, 2012 .

Weight Learning in a Probabilistic Extension of Answer Set Programs pdf

Joohyung Lee, Yi Wang, Joohyung Lee, 2018, KR.

Computing LPMLN using ASP and MLN solvers*

Joohyung Lee, Yi Wang, Samidh Talsania, 2017, Theory and Practice of Logic Programming.

System f2lp - Computing Answer Sets of First-Order Formulas

Joohyung Lee, Ravi Palla, Joohyung Lee, 2009, LPNMR.

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

Joohyung Lee, Vladimir Lifschitz, Ravi Palla, 2008, ICLP.