Yunsong Meng
Yunsong Meng
Verified email at linkedin.com
Title
Cited by
Cited by
Year
Representing and reasoning about web access control policies
GJ Ahn, H Hu, J Lee, Y Meng
2010 IEEE 34th Annual Computer Software and Applications Conference, 137-146, 2010
802010
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
372009
On Loop Formulas with Variables.
J Lee, Y Meng
KR 8, 444-453, 2008
272008
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
J Lee, Y Meng
23rd International Joint Conference on Artificial Intelligence, 990-996, 2013
262013
First-order extension of the FLP stable model semantics via modified circumscription
M Bartholomew, J Lee, Y Meng
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
202011
Markov Logic Style Weighted Rules under the Stable Model Semantics.
J Lee, Y Meng, Y Wang
ICLP (Technical Communications), 2015
182015
First-order stable model semantics and first-order loop formulas
J Lee, Y Meng
Journal of Artificial Intelligence Research 42, 125-180, 2011
162011
First-order semantics of aggregates in answer set programming via modified circumscription
M Bartholomew, J Lee, Y Meng
2011 AAAI Spring Symposium Series, 2011
142011
Assistant redirection for customer service agent processing
Y Meng, D Cheng, Y Shi, J Martineau
US Patent 9,723,149, 2017
132017
Stable models of formulas with generalized quantifiers
J Lee, Y Meng
Working Notes of the 14th International Workshop on Non-Monotonic Reasoning …, 2012
122012
Reasoning about xacml policy descriptions in answer set programming (preliminary report)
GJ Ahn, H Hu, J Lee, Y Meng
13th International Workshop on Nonmonotonic Reasoning (NMR 2010), 1-10, 2010
92010
Stable models of formulas with generalized quantifiers (preliminary report)
J Lee, Y Meng
Technical Communications of the 28th International Conference on Logic …, 2012
82012
Computing with iterative knowledge management mechanism and method of operation thereof
D Cheng, J Bao, J Martineau, Y Meng
US Patent 10,685,287, 2020
62020
Computing system with conversation modeling mechanism and method of operation thereof
Y Meng, D Cheng, Y Shi
US Patent 10,193,843, 2019
42019
Two new definitions of stable models of logic programs with generalized quantifiers
J Lee, Y Meng
arXiv preprint arXiv:1301.1393, 2013
42013
Representing hybrid automata by action language modulo theories
J Lee, N Loney, Y Meng
Theory and Practice of Logic Programming 17 (5-6), 924-941, 2017
12017
Method for risk management based on aggregated information from multiple payment networks while maintaining anonymity of user
Y Meng, A Nainamvalappil, M Kapadia, M Park, C Liu
US Patent App. 15/228,532, 2017
12017
Computing system with error detection mechanism and method of operation thereof
Y Meng, D Cheng
US Patent 9,753,967, 2017
2017
Architecture For Turbine System Diagnosis Based On Sensor Data
Y Meng, DG Tecuci
US Patent App. 14/428,171, 2015
2015
Answer set programming and other computing paradigms
Y Meng
Arizona State University, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20