Yunsong Meng

2 papers in the IJCAI proceedings

IJCAI 2013

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

with Joohyung Lee

Details PDF

IJCAI 2011

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription

with Michael Bartholomew, Joohyung Lee

doi:10.5591/978-1-57735-516-8/IJCAI11-128

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings