Diagnosing Dynamic Systems in A Prolog. - Michael Gelfond; Joel Galloway (Answer Set Programming, 2001)

Diagnosing Physical Systems in A-Prolog. - Michael Gelfond; Marcello Balduccini; Joel Galloway (LPNMR, 2001)

From Planning to Searching for the Shortest Plan: An Optimal Transition. - Raul Trejo; Joel Galloway; Charanjiv Sachar; Vladik Kreinovich; Chitta Baral; Le-Chi Tuan (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2001)