Meng, Yunsong

3 publications

IJCAI 2013 Answer Set Programming Modulo Theories and Reasoning About Continuous Changes Joohyung Lee, Yunsong Meng

IJCAI 2011 First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription Michael Bartholomew, Joohyung Lee, Yunsong Meng

JAIR 2011 First-Order Stable Model Semantics and First-Order Loop Formulas Joohyung Lee, Yunsong Meng