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

by M Nogueira, M Balduccini, M Gelfond, R Watson, M Barry
Venue:In Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL