Charles Gretton

View Scopus Profile

AsPr Charles Gretton, FIEAust

Artificial Intelligence Researcher and TechLauncher Program Convener

Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
20032020

Research activity per year

Filter
Conference contribution

Search results

  • 2019

    A Verified Compositional Algorithm for AI Planning

    Mansour (Abdulaziz), M., Gretton, C. & Norrish, M., 2019, 10th International Conference on Interactive Theorem Proving (ITP 2019). J. H. J. OL. A. A. T. (ed.). USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-19

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    A state-space acyclicity property for exponentially tighter plan length bounds

    Abdulaziz, M., Gretton, C. & Norrish, M., 2017, Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. Barbulescu, L., Smith, S. F., Mausam & Frank, J. D. (eds.). AAAI Press, p. 2-10 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Citations (Scopus)
  • 2015

    A Realistic multi-modal cargo routing benchmark

    Auard, T. & Gretton, C., 2015, Planning, Search, and Optimization - Papers Presented at the 29th AAAI Conference on Artificial Intelligence, Technical Report. AI Access Foundation, p. 2-9 8 p. (AAAI Workshop - Technical Report; vol. WS-15-12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Exploiting symmetries by planning for a descriptive quotient

    Abdulaziz, M., Norrish, M. & Gretton, C., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1479-1486 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)

  • Mechanising Theoretical Upper Bounds in Planning

    Mansour (Abdulaziz), M., Gretton, C. & Norrish, M., 2015, Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling. S. C. A. F. W. R. M. D. (ed.). peer reviewed ed. USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1 - 7pp

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verified over-approximation of the diameter of propositionally factored transition systems

    Abdulaziz, M., Gretton, C. & Norrish, M., 2015, Interactive Theorem Proving - 6th International Conference, ITP 2015, Proceedings. Zhang, X. & Urban, C. (eds.). Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9236).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Citations (Scopus)
  • 2013

    Computing upper bounds on lengths of transition sequences

    Rintanen, J. & Gretton, C. O., 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 2365-2372 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Citations (Scopus)
  • 2011

    A switching planner for combined task and observation planning

    Göbelbecker, M., Gretton, C. & Dearden, R., 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 964-970 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Citations (Scopus)

  • Exploiting probabilistic knowledge under uncertain sensing for efficient robot behaviour

    Hanheide, M., Gretton, C., Dearden, R., Hawes, N., Wyatt, J., Pronobis, A., Aydemir, A., Göbelbecker, M. & Zender, H., 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 2442-2449 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    41 Citations (Scopus)
  • 2010

    Partial weighted MaxSAT for optimal planning

    Robinson, N., Gretton, C., Pham, D. N. & Sattar, A., 2010, PRICAI 2010: Trends in Artificial Intelligence - 11th Pacific Rim International Conference on Artificial Intelligence, Proceedings. p. 231-243 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6230 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    22 Citations (Scopus)
  • 2008

    Induction of Topological Environment Maps from Sequences of Visited Places

    Werner, F., Gretton, C., Maire, F. & Sitte, J., 2008, 2008 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France.  Nice, France: IEEE, p. 2890--2895

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Citations (Scopus)
  • 2004

    Exploiting first-order regression in inductive policy selection

    Gretton, C. & Thiebaux, S., 2004, Proceedings of the Twentieth Conference: Uncertainty in Artificial Intelligence. M. C. J. H. (ed.). Peer Reviewed ed. Arlington, VA USA: AUAI Press, p. 217-225

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2003

    Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards

    Gretton, C., Price, D. & Thiebaux, S., 2003, Uncertainty in Artificial Intelligence: Proceedings of the 19th Conference (2003). C. M. (ed.). Peer Reviewed ed. San Francisco, California, USA: Morgan Kauffman Publishers , p. 289-296

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • NMRDPP: A System for Decision-theoretic Planning with Non-Markovian Rewards

    Gretton, C., Price, D. & Thiebaux, S., 2003, Proceedings of the ICAPS-03 Workshop on Planning under Uncertainty and Incomplete Information. G. P. S. (ed.). Peer Reviewed ed. Trento, Italy: Conference Organising Committee, p. 48-56

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review