An A-Prolog Decision Support System for the Space Shuttle.

Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry

Browse the full PADL paper archive.