We stand with Ukraine  

Richard Watson

Affiliations:
  • Texas Tech University, Department of Computer Science, Lubbock, TX, USA
  • University of Texas at El Paso, Department of Computer Science, TX, USA (former)


According to our database1, Richard Watson authored at least 14 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
The language of epistemic specifications (refined) including a prototype solver.
[BibTeX]
[DOI]
Patrick Kahl
,
Richard Watson
,
Evgenii Balai
,
Michael Gelfond
,
Yuanlin Zhang
J. Log. Comput., 2020

2012
A New Incarnation of Action Language H.
[BibTeX]
[DOI]
Sandeep Chintabathina
,
Richard Watson
Proceedings of the Correct Reasoning, 2012

2011
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.
[BibTeX]
[DOI]
Richard Watson
,
Marina De Vos
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.
[BibTeX]
[DOI]
Forrest Sheng Bao
,
Sandeep Chintabathina
,
A. Ricardo Morales
,
Nelson Rushton
,
Richard Watson
,
Yuanlin Zhang
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2007
Defeasible Laws, Parallel Actions, and Reasoning about Resources.
[BibTeX]
[DOI]
Sandeep Chintabathina
,
Michael Gelfond
,
Richard Watson
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2005
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
[BibTeX]
Marina De Vos
,
Owen Cliffe
,
Richard Watson
,
Tom Crick
,
Julian A. Padget
,
Jonathan Needham
Proceedings of the EUMAS 2005, 2005

Modeling Hybrid Domains Using Process Description Language.
[BibTeX]
[DOI]
Sandeep Chintabathina
,
Michael Gelfond
,
Richard Watson
Proceedings of the Answer Set Programming, 2005

An Interactive Approach to Answer Set Programming.
[BibTeX]
[DOI]
Martin Brain
,
Richard Watson
,
Marina De Vos
Proceedings of the Answer Set Programming, 2005

2003
Modeling Hybrid Systems in Action Languages.
[BibTeX]
[DOI]
Richard Watson
,
Sandeep Chintabathina
Proceedings of the Answer Set Programming, 2003

2001
An A-Prolog Decision Support System for the Space Shuttle.
[BibTeX]
[DOI]
Monica L. Nogueira
,
Marcello Balduccini
,
Michael Gelfond
,
Richard Watson
,
Matthew Barry
Proceedings of the Practical Aspects of Declarative Languages, 2001

The USA-Advisor: A Case Study in Answer Set Planning.
[BibTeX]
[DOI]
Marcello Balduccini
,
Michael Gelfond
,
Richard Watson
,
Monica L. Nogueira
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000
A Splitting Set Theorem for Epistemic Specifications
[BibTeX]
[DOI]
Richard Watson
CoRR, 2000

1999
An Application of Action Theory to the Space Shuttle.
[BibTeX]
[DOI]
Richard Watson
Proceedings of the Practical Aspects of Declarative Languages, 1999

1998
On Methodology of Representing Knowledge in Dynamic Domains.
[BibTeX]
[DOI]
Michael Gelfond
,
Richard Watson
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998


  Loading...