Richard Watson

16 papers B 1C 3Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2020 J jnl
The language of epistemic specifications (refined) including a prototype solver.
J. Log. Comput.
Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang
2012 — conf
A New Incarnation of Action Language H.
Correct Reasoning
Sandeep Chintabathina, Richard Watson
2011 — conf
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang
2011 — conf
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Richard Watson, Marina De Vos
2007 — conf
Defeasible Laws, Parallel Actions, and Reasoning about Resources.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Sandeep Chintabathina, Michael Gelfond, Richard Watson
2005 — conf
An Interactive Approach to Answer Set Programming.
Answer Set Programming
Martin Brain, Richard Watson, Marina De Vos
2005 — conf
Modeling Hybrid Domains Using Process Description Language.
Answer Set Programming
Sandeep Chintabathina, Michael Gelfond, Richard Watson
2005 C conf
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
EUMAS
Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
2003 — conf
Modeling Hybrid Systems in Action Languages.
Answer Set Programming
Richard Watson, Sandeep Chintabathina
2002 J jnl
On methodology of representing knowledge in dynamic domains.
Sci. Comput. Program.
Michael Gelfond, Richard Watson
2001 — conf
An A Prolog decision support system for the Space Shuttle.
Answer Set Programming
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001 C conf
An A-Prolog Decision Support System for the Space Shuttle.
PADL
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001 B conf
The USA-Advisor: A Case Study in Answer Set Planning.
LPNMR
Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira
2000 J jnl
A Splitting Set Theorem for Epistemic Specifications
CoRR
Richard Watson
1999 C conf
An Application of Action Theory to the Space Shuttle.
PADL
Richard Watson
1998 — conf
On Methodology of Representing Knowledge in Dynamic Domains.
Monterey Workshop
Michael Gelfond, Richard Watson