Michael Bartholomew

2 papers in the IJCAI proceedings

IJCAI 2013

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

with Joohyung Lee

Details PDF

IJCAI 2011

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

with Joohyung Lee, Yunsong Meng

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings