Diagnosing Physical Systems in A-Prolog.

Michael Gelfond, Marcello Balduccini, Joel Galloway

Browse the full LPNMR paper archive.