An Application of Action Theory to the Space Shuttle. - Richard Watson 003 (PADL, 1999)

A Splitting Set Theorem for Epistemic Specifications - Richard Watson 003 (CoRR, 2000)

An A Prolog decision support system for the Space Shuttle. - Monica L. Nogueira; Marcello Balduccini; Michael Gelfond; Richard Watson 003; Matthew Barry (Answer Set Programming, 2001)

The USA-Advisor: A Case Study in Answer Set Planning. - Marcello Balduccini; Michael Gelfond; Richard Watson 003; Monica L. Nogueira (LPNMR, 2001)

On methodology of representing knowledge in dynamic domains. - Michael Gelfond; Richard Watson 003 (Sci. Comput. Program., 2002)

Modeling Hybrid Systems in Action Languages. - Richard Watson 003; Sandeep Chintabathina (Answer Set Programming, 2003)

An Interactive Approach to Answer Set Programming. - Martin Brain; Richard Watson 003; Marina De Vos (Answer Set Programming, 2005)

Modeling Hybrid Domains Using Process Description Language. - Sandeep Chintabathina; Michael Gelfond; Richard Watson 003 (Answer Set Programming, 2005)

T-LAIMA: Answer Set Programming for Modelling Agents with Trust. - Marina De Vos; Owen Cliffe; Richard Watson 003; Tom Crick; Julian A. Padget; Jonathan Needham (EUMAS, 2005)

Defeasible Laws, Parallel Actions, and Reasoning about Resources. - Sandeep Chintabathina; Michael Gelfond; Richard Watson 003 (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. - Forrest Sheng Bao; Sandeep Chintabathina; A. Ricardo Morales; Nelson Rushton; Richard Watson 003; Yuanlin Zhang 002 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. - Richard Watson 003; Marina De Vos (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

A New Incarnation of Action Language H. - Sandeep Chintabathina; Richard Watson 003 (Correct Reasoning, 2012)

The language of epistemic specifications (refined) including a prototype solver. - Patrick Kahl; Richard Watson 003; Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (J. Log. Comput., 2020)