AFRAN

Charles Gretton

Base

Name

Charles Gretton

Title

Dr.

Bio

I am a computer scientist who works in a sub-field of Artificial Intelligence called Automated Planning. I study and develop AI technologies that enable machines to reason about deliberations in the world, and to reason about how to extend their knowledge about the world intelligently. Subjects where I have published works include: exploiting sub-problem symmetries — ‘descriptive quotient’, computing plan-length upper bounds — ‘sublist diameter’, stochastic local search (SLS)  procedures for Boolean SAT(isfiability) — ‘gNovelty+’, SLS for Vertex Cover — ‘COver Edges Ramdomly’, compact and efficient representations for SAT-based planning — ‘split-encoding’, decision-theoretic planning and (relational-)reinforcement learning with non-Markovian rewards — various Linear Temporal Logics. I’ve also done published research on aesthetic criteria in solving vehicle routing problems, and game-theoretic cost allocations in logistics.

Country

Australia

State

ACT

Fields of Research

Mathematical Sciences, Information and Computing Sciences

University or Institution of affiliation

Australian National University

personal or institutional webpage

researchers.anu.edu.au/researchers/gretton-co

Interest in AFRAN?

Academic/Industry Collaborations in France, Job / Funding opportunity in Australia