Yunsong Meng
Yunsong Meng
Houzz Inc
Verified email at houzz.com
TitleCited byYear
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
792010
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
252013
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
192011
Markov Logic Style Weighted Rules under the Stable Model Semantics.
J Lee, Y Meng, Y Wang
ICLP (Technical Communications), 2015
172015
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
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
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
Answer set programming and other computing paradigms
Y Meng
Arizona State University, 2013
2013
First-Order Extension of the FLP Semantics
M Bartholomew, J Lee, Y Meng
2011
Software Verification using the Stable Model Semantics
R Palla, X Zhang, Y Meng
2009
Third Annual Workshop on Information Assurance Research and Education
GJ Ahn, J Lee, H Hu, Y Meng
The system can't perform the operation now. Try again later.
Articles 1–17