Dr. Richard Watson

Associate Professor
Department of Computer Science
Texas Tech University

Research Interests

Artificial Intelligence, Knowledge Representation, Common-sense Reasoning, Logic Programming, Non-monotonic Logics, Reasoning about Actions, Action Languages, Automated Planning, Intelligent Agents, Multi-Agent systems.

Co-head of the Knowledge Representation Lab (Together with Dr. Michael Gelfond)

Education:
    Ph.D. in Computer Science - The University of Texas at El Paso, July 1999
        Dissertation: "Action Languages for Domain Modeling"
        Advisor: Dr. Michael Gelfond
    M.S. in Computer Science - The University of Texas at El Paso, May 1994
    B.S in Computer Science - The University of Texas at El Paso, May 1990

Papers and Publications:

• Gregory Gelfond and Richard Watson, "Modeling Cooperative Multi-Agent Systems", in Proceedings of ASP '07 - Answer Set Programming: Advances in Theory and Implementation, pp. 67-81, 2007.
• Sandeep Chintabathina, Michael Gelfond, and Richard Watson, "Defeasible Laws, Parallel Actions, and Reasoning about Resources", in Proceedings of Commonsense '07 :Logical Formalizations of Commonsense Reasoning, pp. 35-40, AAAI Press, 2007.
• Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian Padget, and Johnathan Needham, "T-LAIMA: Answer Set Programming for Modeling Agents with Trust", in Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS '05), pp. 126-136, 2005.
• Martin Brain, Richard Watson, and Marina DeVos, "An Interactive Approach to Answer Set Programming", in Proceedings of ASP '05 - Answer Set Programming: Advances in Theory and Implementation, pp 190-202, 2005.
• Sandeep Chintabathina, Michael Gelfond, and Richard Watson, "Modeling Hybrid Domains Using Process Description Language", in Proceedings of ASP '05 - Answer Set Programming: Advances in Theory and Implementation, pp 303-317, 2005.
• Richard Watson and Sandeep Chintabathina, "Modeling Hybrid Systems in Action Languages", in Proceedings of ASP '03 - Answer Set Programming: Advances in Theory and Implementation, CEUR Workshop Proceedings, Col 78, http://ceur-ws.org/Vol-78/, 2003.
• Michael Gelfond and Richard Watson, "Nonmonotonic Logic", in The Encyclopedia of Cognitive Science, Nature Publishing Group - Macmillan Reference Inc, UK, pp 375-382, 2003.
• Michael Gelfond and Richard Watson, "On Methodology of Representing Knowledge in Dynamic Domains", Science of Computer Programming, 42(1):_ 87-99, 2002.
• Michael Gelfond and Richard Watson, "Diagnosis with Answer Sets - Dealing with Unobservable Fluents", In AAAI Workshop on Cognitive Robotics (CogRob2002), Technical Report WS-02-05, pp 44-51, 2002.
• Marcello Balduccini, Michael Gelfond, Richard Watson, and Monica Nogeira, "Planning with the USA-Advisor", In 3^rd NASA Workshop on Planning and Scheduling for Space, 2002.
• Marcello Balduccini, Michael Gelfond, Richard Watson, and Monica Nogeira, "The USA-Advisor: A Case Study in Answer Set Planning," In Lecture notes in Artificial Intelligence - Proceedings of Logic Programming and Nonmonotonic Reasoning '01, Vol. 2173, pp. 439-442, 2001.
• Marcello Balduccini, Matthew Barry, Michael Gelfond, Monica Nogeira, and Richard Watson, "An A-Prolog Decision Support System for the Space Shuttle - I," In Lecture Notes in Computer Science - Proceedings of Practical Aspects of Declarative Languages '01, Vol. 1990, pp169-183, 2001.
• Marcello Balduccini, Matthew Barry, Michael Gelfond, Monica Nogeira, and Richard Watson, "An A-Prolog Decision Support System for the Space Shuttle - II," In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Technical Report SS-01-01, pp.139-145, AAAI Press, 2001.
• Richard Watson, "A Splitting Set Theorem for Epistemic Specifications," In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR' 2000, 2000.
• Richard Watson, "Action Languages for Domain Modeling," Doctoral Dissertation, Department of Computer Science, University of Texas at El Paso, UMI, 1999.
• Richard Watson, "An Application of Action Theory to the Space Shuttle," In Lecture Notes in Computer Science - Proceedings of Practical Aspects of Declarative Languages '99, Gopal Gupta (Ed.), Vol. 1551, pp. 290-304, 1999.
• Matthew Barry and Richard Watson, "Reasoning About Actions for Spacecraft Redundancy Management," In Proceedings of 1999 IEEE Aerospace Conference, vol. 5, pp.101-112, 1999.
• Michael Gelfond and Richard Watson, "On Methodology of Representing Knowledge in Dynamic Domains", In Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, pp. 57-66, 1999.
• Chitta Baral, Michael Gelfond, and Richard Watson. "Reasoning About Actual and Hypothetical Occurrences of Concurrent and Non-deterministic Actions," in Dynamic Worlds: From the Frame Problem to Knowledge Management, edited by Bertram Fronhofer and Remo Pareschi, Kluwer Academic Publishers, pp. 73-109, 1999.
• 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," In Cybernetics and Systems, Vol. 25(4), pp. 629-640, 1994.

á                          

Course Websites

CS 2382 - Discrete Structures

CS 3383 - Undergraduate Automata

CS 5383 - Graduate Automata

CS 5384 - Logic

CS 5331 - Important Theorems and Proofs in AI

Courses Teaching/Taught

     Courses I teach often

• CS5368 - Graduate Artificial Intelligence
• CS5384 - Graduate Logic for Computer Scientists
• CS3368 - Introduction to Artificial Intelligence
• CS2382 - Discrete Computational Structures

    Other courses I've taught at Texas Tech

• CS3364 - Design and Analysis of Algorithms
• CS3361 - Concepts of Programming Languages
• CS1462 - Fundamentals of Computer Science I

    Courses taught at the University of Texas at El Paso

• CS3330 - Problem Oriented Programming Languages - C
• CS2401 - Programming and Algorithms
• CS2302 - Data Structures

Links of Interest

Texas Action Group (TAG) - A group of researchers (including our local group) interested in the study of formal and automated reasoning about the effects of actions using action languages, logic programming under the answer set semantics, and related ideas.  The group is based in Texas but has members (and groups) in several countries.

Contact Information

Department of Computer Science
Texas Tech University
College of Engineering
Box 43104
Lubbock, TX 79409
office: (806) 742-3527
e-mail: rwatson@cs.ttu.edu
fax: (806) 742-3519