An A-Prolog decision support system for the Space Shuttle. (2001)

by Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
Venue:In Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL),