Yunsong Meng - RankMe

17 papers A* 3B 2Journal 8Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. CoRR Joohyung Lee, Yunsong Meng
2023	J	`jnl`	On Loop Formulas with Variables. CoRR Joohyung Lee, Yunsong Meng
2020	J	`jnl`	Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability. CoRR Ninghao Liu, Yunsong Meng, Xia Hu, Tie Wang, Bo Long
2017	J	`jnl`	Representing Hybrid Automata by Action Language Modulo Theories. CoRR Joohyung Lee, Nikhil Loney, Yunsong Meng
2017	J	`jnl`	Representing hybrid automata by action language modulo theories. Theory Pract. Log. Program. Joohyung Lee, Nikhil Loney, Yunsong Meng
2015	—	`conf`	Markov Logic Style Weighted Rules under the Stable Model Semantics. ICLP (Technical Communications) Joohyung Lee, Yunsong Meng, Yi Wang
2014	J	`jnl`	First-Order Stable Model Semantics and First-Order Loop Formulas. CoRR Joohyung Lee, Yunsong Meng
2013	A*	`conf`	Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. IJCAI Joohyung Lee, Yunsong Meng
2013	—	`—`	Answer Set Programming and Other Computing Paradigms. Yunsong Meng
2013	J	`jnl`	Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers CoRR Joohyung Lee, Yunsong Meng
2012	—	`conf`	Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). ICLP (Technical Communications) Joohyung Lee, Yunsong Meng
2011	A*	`conf`	First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. IJCAI Michael Bartholomew, Joohyung Lee, Yunsong Meng
2011	—	`conf`	First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Michael Bartholomew, Joohyung Lee, Yunsong Meng
2011	J	`jnl`	First-Order Stable Model Semantics and First-Order Loop Formulas. J. Artif. Intell. Res. Joohyung Lee, Yunsong Meng
2010	B	`conf`	Representing and Reasoning about Web Access Control Policies. COMPSAC Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng
2009	B	`conf`	On Reductive Semantics of Aggregates in Answer Set Programming. LPNMR Joohyung Lee, Yunsong Meng
2008	A*	`conf`	On Loop Formulas with Variables. KR Joohyung Lee, Yunsong Meng