Yunsong Meng

According to our database, Yunsong Meng authored at least 13 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability.

Ninghao Liu, Yunsong Meng, Xia Hu, Tie Wang, Bo Long

CoRR, 2020

2017

Representing hybrid automata by action language modulo theories.

Joohyung Lee, Nikhil Loney, Yunsong Meng

Theory Pract. Log. Program., 2017

2015

Markov Logic Style Weighted Rules under the Stable Model Semantics.

Joohyung Lee, Yunsong Meng, Yi Wang

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

2013

Answer Set Programming and Other Computing Paradigms.

Yunsong Meng

PhD thesis, 2013

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

Joohyung Lee, Yunsong Meng

CoRR, 2013

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.

Joohyung Lee, Yunsong Meng

Proceedings of the IJCAI 2013, 2013

2012

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

Joohyung Lee, Yunsong Meng

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

2011

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

Joohyung Lee, Yunsong Meng

J. Artif. Intell. Res., 2011

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

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Proceedings of the IJCAI 2011, 2011

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

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Representing and Reasoning about Web Access Control Policies.

Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng

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

2009

On Reductive Semantics of Aggregates in Answer Set Programming.

Joohyung Lee, Yunsong Meng

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

On Loop Formulas with Variables.

Joohyung Lee, Yunsong Meng

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