Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. An A-Prolog Decision Support System for the Space Shuttle. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 169-183, Springer, 2001. [doi]
@inproceedings{NogueiraBGWB01,
title = {An A-Prolog Decision Support System for the Space Shuttle},
author = {Monica Nogueira and Marcello Balduccini and Michael Gelfond and Richard Watson and Matthew Barry},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/1990/19900169.htm},
tags = {Prolog},
researchr = {https://researchr.org/publication/NogueiraBGWB01},
cites = {0},
citedby = {0},
pages = {169-183},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings},
editor = {I. V. Ramakrishnan},
volume = {1990},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41768-0},
}