Mark Chavira Adnan Darwiche Ole J. Mengshoel Scott Poll N. Serdar Uckun