Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. An A-Prolog Decision Support System for the Space Shuttle. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 169-183, Springer, 2001.
Abstract is missing.