Richard G. Watson

Bachelor of Science in Computer Science, May 1990
University of Texas at El Paso

Master of Science in Computer Science, May 1994
University of Texas at El Paso

Research Interests

Logic programming, commonsense reasoning, and nonmonotonic logics.

Papers and Publications

Richard Watson, "A Practical Application of Action Theory to the Space Shuttle," Proc. of Practical Aspects of Declarative Languages '99, to appear.
Matthew Barry and Richard Watson, "Reasoning About Actions for Spacecraft Redundancy Management," Proc. of 1999 IEEE Aerospace Conference, to appear.
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 be published.
Richard Watson, "An Inference Engine for Epistemic Specifications," Masters Thesis, Department of Computer Science, University of Texas at El Paso, 1994.
Vladik Kreinovich and Richard Watson, "How difficult is it to invent a nontrivial game," Cybernetics and Systems, vol 25(4), pp. 629-640, 1994.

Courses taught:

U.T.E.P. Organizations:

Courses previously T.A.ed:

For a little comedy, due in part to your truly....