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

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

Representing and Reasoning about Web Access Control Policies. - Gail-Joon Ahn; Hongxin Hu; Joohyung Lee 002; Yunsong Meng (COMPSAC, 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)

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

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

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

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

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

Answer Set Programming and Other Computing Paradigms. - Yunsong Meng (2013)

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

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

Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability. - Ninghao Liu; Yunsong Meng; Xia Hu 001; Tie Wang; Bo Long (CoRR, 2020)

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