Richard Watson

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19942018

Research output per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2011

    ASTREA: Answer sets for a trusted reasoning environment for agents

    Watson, R. & De Vos, M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. p. 490-509 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • A temporally expressive planner based on answer set programming with constraints: Preliminary design

    Bao, F. S., Chintabathina, S., Morales, A. R., Rushton, N., Watson, R. & Zhang, Y., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. p. 398-414 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2007

    Defeasible laws, parallel actions, and reasoning about resources

    Chintabathina, S., Gelfond, M. & Watson, R., 2007, Logical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report. p. 35-40 6 p. (AAAI Spring Symposium - Technical Report; vol. SS-07-05).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 2006

    The evolutionary role of variable assignment and its impact on program verification

    Cooke, D. E., Rushton, J. N. & Watson, R., 2006, 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 315-320 6 p. (18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2001

    An a-prolog decision support system for the space shuttle

    Nogueira, M., Balduccini, M., Gelfond, M., Watson, R. & Barry, M., 2001, Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings. Ramakrishnan, I. V. (ed.). Springer-Verlag, p. 169-183 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1990).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    122 Scopus citations
  • The USA-advisor: A case study in answer set planning

    Balduccini, M., Gelfond, M., Watson, R. & Nogueira, M., 2001, Logic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Proceedings. p. 439-442 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2173 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    49 Scopus citations
  • 1999

    An application of action theory to the space shuttle

    Watson, R., 1999, Practical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings. p. 290-304 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1551 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations