An a-prolog decision support system for the space shuttle

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

124 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings
EditorsI.V. Ramakrishnan
PublisherSpringer-Verlag
Pages169-183
Number of pages15
ISBN (Print)9783540417682
DOIs
StatePublished - 2001
Event3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 - Las Vegas, United States
Duration: Mar 11 2001Mar 12 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1990
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
CountryUnited States
CityLas Vegas
Period03/11/0103/12/01

Keywords

  • Answer set programming
  • Logic programming
  • Planning

Fingerprint Dive into the research topics of 'An a-prolog decision support system for the space shuttle'. Together they form a unique fingerprint.

Cite this