Yunsong Meng

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 4

Top Venues

CoRR

ICLP (Technical Communications)

Theory Pract. Log. Program.

IJCAI

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

Joohyung Lee, Yunsong Meng
On Loop Formulas with Variables. CoRR (2023)
Ninghao Liu, Yunsong Meng, Xia Hu, Tie Wang, Bo Long
Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability. CoRR (2020)
Joohyung Lee, Nikhil Loney, Yunsong Meng
Representing Hybrid Automata by Action Language Modulo Theories. CoRR (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, Yunsong Meng, Yi Wang
Markov Logic Style Weighted Rules under the Stable Model Semantics. ICLP (Technical Communications) (2015)
Joohyung Lee, Yunsong Meng
First-Order Stable Model Semantics and First-Order Loop Formulas. CoRR (2014)
Joohyung Lee, Yunsong Meng
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. IJCAI (2013)
Joohyung Lee, Yunsong Meng
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers CoRR (2013)
Joohyung Lee, Yunsong Meng
Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). ICLP (Technical Communications) (2012)
Joohyung Lee, Yunsong Meng
First-Order Stable Model Semantics and First-Order Loop Formulas. J. Artif. Intell. Res. 42 (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)
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)
Joohyung Lee, Yunsong Meng
On Loop Formulas with Variables. KR (2008)

Yunsong Meng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yunsong Meng