Balduccini, M. and M. Gelfond: Diagnostic Reasoning with A-Prolog (pdf version) , Theory and Practice of Logic Programming, 3(4-5):425-461, Jul 2003
(2003)
Languages mentioned
Action Languages
{1990}