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 | 90 | 2010 |
On reductive semantics of aggregates in answer set programming J Lee, Y Meng Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 41 | 2009 |
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes J Lee, Y Meng 23rd International Joint Conference on Artificial Intelligence, 990-996, 2013 | 31 | 2013 |
On Loop Formulas with Variables. J Lee, Y Meng KR 8, 444-453, 2008 | 29 | 2008 |
Assistant redirection for customer service agent processing Y Meng, D Cheng, Y Shi, J Martineau US Patent 9,723,149, 2017 | 27 | 2017 |
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 | 21 | 2020 |
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 | 21 | 2011 |
Markov Logic Style Weighted Rules under the Stable Model Semantics. J Lee, Y Meng, Y Wang ICLP (Technical Communications), 2015 | 19 | 2015 |
First-order stable model semantics and first-order loop formulas J Lee, Y Meng Journal of Artificial Intelligence Research 42, 125-180, 2011 | 19 | 2011 |
First-order semantics of aggregates in answer set programming via modified circumscription M Bartholomew, J Lee, Y Meng 2011 AAAI Spring Symposium Series, 2011 | 16 | 2011 |
Stable models of formulas with generalized quantifiers J Lee, Y Meng Working Notes of the 14th International Workshop on Non-Monotonic Reasoning …, 2012 | 12 | 2012 |
Computing system with conversation modeling mechanism and method of operation thereof Y Meng, D Cheng, Y Shi US Patent 10,193,843, 2019 | 10 | 2019 |
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 | 10 | 2010 |
Stable models of formulas with generalized quantifiers (preliminary report) J Lee, Y Meng Technical Communications of the 28th International Conference on Logic …, 2012 | 9 | 2012 |
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 | 5 | 2020 |
Two new definitions of stable models of logic programs with generalized quantifiers J Lee, Y Meng arXiv preprint arXiv:1301.1393, 2013 | 4 | 2013 |
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 | 3 | 2010 |
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 | 1 | 2017 |
Architecture For Turbine System Diagnosis Based On Sensor Data Y Meng, DG Tecuci US Patent App. 14/428,171, 2015 | 1 | 2015 |
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 |