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 and Dr. Yuanlin Zhang)

 

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

 

Current Service Activities:

Š       ABET Coordinator for the Department of Computer Science, 2015 – Present

Š       Head of Student Affairs for Computer Science, 2009 – Present

Š       Faculty Advisor for the Association of Computing Machinery (ACM), 2010 – Present & 2001 – 2003

Š       Faculty Advisor of the Upsilon Pi Epsilon (UPE) honors society, 2011 – Present

Š       Faculty Advisor for the Extraordinary Women of Computer Science (EWoCS), 2015 – Present

Š       Chair of Koh Scholarship Committee, 2015 – Present, Committee Member 2000 – Present

Š       Member of Texas Tech Departmental Excellence in Teaching Award (DETA) committee, 2015 – Present

Š       Peer evaluator/Mentor for WCOE faculty teaching, 2014 – Present.

Š       Member of ECE Curriculum Subcommittee on Computer Engineering, 2010 –Present.

Š       Member of Program Committee for Answer Set Programming and Other Computing Paradigms (ASPOCP ’17)

 

Awards:

Š       Inducted into Texas Tech Teaching Academy, Fall2014

Š       “Most Influential Professor” award, Fall 2013 WCOE Honor’s Convocation

Š       Voted “Outstanding Professor” for 2012-2013 by the Texas Tech Computer Science student as awarded by the student chapter of ACM

Š       Voted “Outstanding Professor” for 2010-2011 by the Texas Tech Computer Science student as awarded by the student chapter of ACM

Š       Paper “Modeling Hybrid Systems in Action Languages” awarded “Best Applications Paper” at ASP ’03

 

 

Papers and Publications:

Š       Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, and Yuanlin Zhang, “The Language of Epistemic Specifications (Refined) Including a Prototype Solver”, Journal of Logic and Computation, 10.1093/logcom/exv065, 2015.

Š       Patrick Kahl, Richard Watson, Michael Gelfond, and Yuanlin Zhang, “A Refinement of the Language of Epistemic Specifications”, in Proceedings of ASPOCP ’14, 15 pages, 2014.

Š       Audra Morse, Richard Watson, and John Rivera, “Using Enrollment Management to Influence Student Quality and Retention”, in Proceeding of the 121st ASEE Annual Conference, 10 pages, 2014.

Š       Sandeep Chintabathina and Richard Watson, “A New Incarnation of Action Language H”, In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pp 560-575. Springer, 2012.

Š       Richard Watson and Marina De Vos, “ASTREA: Answer sets for a trusted reasoning environment for agent”, In Marcello Balduccini and Tran Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, pp 490-509, Springer 2011

Š       Forest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Neslon Rushton, Richard Watson and Yuanlin Zhang, “A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design”, In Marcello Balduccini and Tran Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, pp 398-414. Springer, 2011.

Š       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, "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 3rd 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.

Š       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.

 

                    

Book Chapters / Other Publications

Š       Michael Gelfond and Richard Watson, "Nonmonotonic Logic", in The Encyclopedia of Cognitive Science, Nature Publishing Group - Macmillan Reference Inc, UK, pp 375-382, 2003.

Š       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.

 

Courses Teaching/Taught

      Graduate

Š       CS 5353 - Compiler Construction

Š       CS 5361 - Theory of Computing Languages

Š       CS 5368 - Artificial Intelligence

Š       CS 5381 - Analysis of Algorithms

Š       CS 5383 - Theory of Automata

Š       CS 5384 - Logic for Computer Scientists

Š       CS 5398 - Theory and Practice of Logic Programming

Š       CS 5331 - Planning and Diagnosis in Dynamic Domains

Š       CS 5331 - Important Theorems and Proofs in Artificial Intelligence

Š       CS 5331 - Problem Solving with Modern Heuristics

Š       CS 5331 - Practical Logic Programming

Š       CS 5331 - Current Research in Computer Science

Š       CS 5331 - Intelligent Agents

Undergraduate

Š       CS 1382 - Discrete Computational Structures

Š       CS 1411 - Principles of Programming I

Š       CS 1462 - Fundamentals of Computer Science I

Š       CS 2365 - Object Oriented Programming

Š       CS 3361 - Concepts of Programming Languages

Š       CS 3364 - Design and Analysis of Algorithms

Š       CS 3368 - Introduction to Artificial Intelligence

Š       CS 3383 - Automata and Theory of Computation

Š       CS 4391 - Theory and Practice of Logic Programming

Š       CS 4391 - Planning and Diagnosis in Dynamic Domains

Š       IS 1100 - Raider Ready: Freshman Seminar

Š       ENGR 1315 - Introduction to Engineering

Š       CS 3330 - Problem Oriented Programming Languages - C (at UTEP)

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) 834-0685
e-mail: richard.watson@ttu.edu
fax: (806) 742-3519