Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. An A Prolog decision support system for the Space Shuttle. In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]
Abstract is missing.