An A-Prolog Decision Support System for the Space Shuttle

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle.

• Type: Conference
• Year: 2001
• Where: PADL
• Authors: Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
• Keywords: Answer Sets, Declarative Language A-prolog, PADL 2001, Programming Languages, Size Knowledge-intensive Applications