Gelfond, M. ; M. Balduccini, J. Galloway: Diagnosing physical systems in A-Prolog , Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep 2001
(2001)
Languages mentioned
Action Languages
{1990}