Follow
Yunsong Meng
Yunsong Meng
Verified email at apple.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
902010
On reductive semantics of aggregates in answer set programming
J Lee, Y Meng
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
412009
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
J Lee, Y Meng
23rd International Joint Conference on Artificial Intelligence, 990-996, 2013
312013
On Loop Formulas with Variables.
J Lee, Y Meng
KR 8, 444-453, 2008
292008
Assistant redirection for customer service agent processing
Y Meng, D Cheng, Y Shi, J Martineau
US Patent 9,723,149, 2017
272017
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
212020
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
212011
Markov Logic Style Weighted Rules under the Stable Model Semantics.
J Lee, Y Meng, Y Wang
ICLP (Technical Communications), 2015
192015
First-order stable model semantics and first-order loop formulas
J Lee, Y Meng
Journal of Artificial Intelligence Research 42, 125-180, 2011
192011
First-order semantics of aggregates in answer set programming via modified circumscription
M Bartholomew, J Lee, Y Meng
2011 AAAI Spring Symposium Series, 2011
162011
Stable models of formulas with generalized quantifiers
J Lee, Y Meng
Working Notes of the 14th International Workshop on Non-Monotonic Reasoning …, 2012
122012
Computing system with conversation modeling mechanism and method of operation thereof
Y Meng, D Cheng, Y Shi
US Patent 10,193,843, 2019
102019
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
102010
Stable models of formulas with generalized quantifiers (preliminary report)
J Lee, Y Meng
Technical Communications of the 28th International Conference on Logic …, 2012
92012
Are interpretations fairly evaluated? a definition driven pipeline for post-hoc interpretability
N Liu, Y Meng, X Hu, T Wang, B Long
arXiv preprint arXiv:2009.07494, 2020
52020
Two new definitions of stable models of logic programs with generalized quantifiers
J Lee, Y Meng
arXiv preprint arXiv:1301.1393, 2013
42013
Representing and reasoning about web access control policies. At Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
G Ahn, H Hu, J Lee, Y Meng
IEEE, 2010
32010
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
Architecture For Turbine System Diagnosis Based On Sensor Data
Y Meng, DG Tecuci
US Patent App. 14/428,171, 2015
12015
Feature removal framework to streamline machine learning
Y Chang, Y Meng, T Wang, Y Yang, B Long, B Chen, Y Jiang, Z Li
US Patent 11,720,808, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20