An a-prolog decision support system for the space shuttle

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

doi:10.1007/3-540-45241-9_12

An a-prolog decision support system for the space shuttle

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

138 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 language	English
Title of host publication	Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings
Editors	I.V. Ramakrishnan
Publisher	Springer-Verlag
Pages	169-183
Number of pages	15
ISBN (Print)	9783540417682
DOIs	https://doi.org/10.1007/3-540-45241-9_12
State	Published - 2001
Event	3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 - Las Vegas, United States Duration: Mar 11 2001 → Mar 12 2001

Publication series

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

Conference

Conference	3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
Country/Territory	United States
City	Las Vegas
Period	03/11/01 → 03/12/01

Keywords

Answer set programming
Logic programming
Planning

Access to Document

10.1007/3-540-45241-9_12

Cite this

Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., & Barry, M. (2001). An a-prolog decision support system for the space shuttle. In I. V. Ramakrishnan (Ed.), Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings (pp. 169-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1990). Springer-Verlag. https://doi.org/10.1007/3-540-45241-9_12

Nogueira, Monica ; Balduccini, Marcello ; Gelfond, Michael et al. / An a-prolog decision support system for the space shuttle. Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings. editor / I.V. Ramakrishnan. Springer-Verlag, 2001. pp. 169-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e3eb1d7cf77e46b89c1e353b88c75b6b,

title = "An a-prolog decision support system for the space shuttle",

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.",

keywords = "Answer set programming, Logic programming, Planning",

author = "Monica Nogueira and Marcello Balduccini and Michael Gelfond and Richard Watson and Matthew Barry",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001; null ; Conference date: 11-03-2001 Through 12-03-2001",

year = "2001",

doi = "10.1007/3-540-45241-9_12",

language = "English",

isbn = "9783540417682",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "169--183",

editor = "I.V. Ramakrishnan",

booktitle = "Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings",

}

Nogueira, M, Balduccini, M, Gelfond, M, Watson, R & Barry, M 2001, An a-prolog decision support system for the space shuttle. in IV Ramakrishnan (ed.), Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1990, Springer-Verlag, pp. 169-183, 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001, Las Vegas, United States, 03/11/01. https://doi.org/10.1007/3-540-45241-9_12

An a-prolog decision support system for the space shuttle. / Nogueira, Monica; Balduccini, Marcello; Gelfond, Michael et al.

Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings. ed. / I.V. Ramakrishnan. Springer-Verlag, 2001. p. 169-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1990).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An a-prolog decision support system for the space shuttle

AU - Nogueira, Monica

AU - Balduccini, Marcello

AU - Gelfond, Michael

AU - Watson, Richard

AU - Barry, Matthew

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

KW - Answer set programming

KW - Logic programming

KW - Planning

UR - http://www.scopus.com/inward/record.url?scp=84949188702&partnerID=8YFLogxK

U2 - 10.1007/3-540-45241-9_12

DO - 10.1007/3-540-45241-9_12

M3 - Conference contribution

AN - SCOPUS:84949188702

SN - 9783540417682

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 169

EP - 183

BT - Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings

A2 - Ramakrishnan, I.V.

PB - Springer-Verlag

Y2 - 11 March 2001 through 12 March 2001

ER -

Nogueira M, Balduccini M, Gelfond M, Watson R, Barry M. An a-prolog decision support system for the space shuttle. In Ramakrishnan IV, editor, Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings. Springer-Verlag. 2001. p. 169-183. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45241-9_12

An a-prolog decision support system for the space shuttle

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this