Representing first-order causal theories by logic programs

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang. Representing first-order causal theories by logic programs. TPLP, 12(3):383-412, 2012. [doi]

Abstract

Abstract is missing.