An application of action theory to the space shuttle

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

Volumn 1551 LNCS, Issue , 1999, Pages 290-304

  Watson, Richard ^a  

^a University of Texas at El Paso   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION DESCRIPTION LANGUAGES; ACTION LANGUAGE; ACTION THEORY; DOMAIN DESCRIPTION; GENERAL TRANSLATION; REACTION CONTROL SYSTEM;

INFERENCE ENGINES; LOGIC PROGRAMMING; SEMANTICS; SPACE SHUTTLES;

TRANSLATION (LANGUAGES);

EID: 33750995815     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (7)

1. Chitta Baral, Michael Gelfond, and Alessandro Provetti. Representing Actions: Laws, Observations, and Hypothesis. In Journal of Logi c P rogram ming, Vol. 31, No. 1-3, pp. 245-298, 1997.
2. Chitta Baral, Michael Gelfond, and Richard Watson. Reasoning About Actual and Hypothetical Occurrences of Concurrent and Non-deterministic Actions, in Theoretical Approaches to Dynamic Worlds, edited by Bertram Fronhofer and Remo Pareschi (to appear).
3. Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. In New Generation Computing, 9(3/4), pp. 365-387, 1991.
4. Michael Gelfond and Vladimir Lifschitz. Representing Actions in Extended Logic Programs. In Proc. of Joint International Conference and Symposium on Logic Programming, pp. 559-573, 1992.
5. John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. In Artificial Intelligence, 26(3), pp. 89-116, 1986.
6. John McCarthy and Patrick Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pp. 463-502. Edinburgh University Press, Edinburgh, 1969.
7. Hudson Turner. Representing actions in logic programs and default theories: A situation calculus approach. In Journal of Logic Programming, Vol. 31, No. 1-3, pp. 245-298, 1997.