@inproceedings{d19792a0aadc43e8af6fe078518b3849,
title = "An application of action theory to the space shuttle",
abstract = "We present a domain description for verifying plans concerning the Reaction Control System (RCS) of the Space Shuttle. Our approach utilizes recent research in action description languages. We describe the syntax and semantic of the action language, L 0, as well as a general translation from domain descriptions of L 0 to logic programming. Details of the RCS domain and specifics of the translation are given. The translation is shown to be sound and complete for queries under Prolog and XSB. Computational examples are given which show the feasibility of this approach.",
author = "Richard Watson",
year = "1999",
language = "English",
isbn = "3540655271",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "290--304",
booktitle = "Practical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings",
note = "null ; Conference date: 18-01-1999 Through 19-01-1999",
}