Bartholomew, Michael

2 publications

IJCAI 2013 Functional Stable Model Semantics and Answer Set Programming Modulo Theories Michael Bartholomew, Joohyung Lee

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