| Name |
Degree |
Title |
Date Awarded |
| Duc Pham |
Ph.D. |
Agent Protocols via Temporal Linear Logic |
August, 2008
|
| Binh Tran |
Ph.D. |
Observation, Expectation and Attention Logics: A Foundation for Agent Theories |
October, 2005
|
| Tatjana Lutovac |
Ph.D. |
Issues in Managing Redundancies in Proof Search |
August, 2005 |
| Bunsong Chea |
Ph.D. |
Reasoning-oriented CAI Systems |
October, 2004 |
| Stephen Callaghan |
Ph.D. |
Optimising Comparisons of Complex Objects by Precomputing their Graph Properties (Joint supervisor with Dr. Gerard Ellis) |
March, 2001 |
| Michael
Winikoff |
Ph.D. (Melb) |
Logic Programming with Linear Logic |
March, 1997 |
| Jeff Riley |
Ph.D. |
Genetic Algorithms for Robot Soccer (Second supervisor) |
March, 2006 |
| Paul Boxer |
Ph.D. |
Learning Naive Physics by Visual Observation (Second supervisor) |
August, 2002 |
| Brian Lowe |
Ph.D. |
A Data Model and Query Language for Structured Document Databases (Second supervisor) |
December, 2000 |
| Jason Tai |
Ph.D. |
An Architecture for Constraint Logic Programming (Second Supervisor) |
March, 1997 |
| Simon Duff |
B.App.Sc.(Hons). |
Experiments in Computational Rules in Lygon
|
November, 2003 |
| Mohit Gupta |
B.App.Sc.(Hons). |
Agent Organisation Strategies in the Fire-Domain |
November, 2002 |
| Duncan Bayly |
B.App.Sc.(Hons). |
Using Negotiation and Utility to Distribute Goals in RoboCup Rescue |
November, 2001 |
| Abdullah Al-Amin |
B.App.Sc.(Hons). |
Agent-Oriented Programming in Linear Logic (Joint supervision with Michael Winikoff) |
November, 1999 |
| Michael Chamberlain |
B.App.Sc.(Hons). |
Optimisation of Linear Logic Programs |
November, 1998 |
| Fadia Hatem |
B.App.Sc.(Hons). |
Suitability of Electronic Voting for Large Scale Elections |
November, 1997 |
| Wing Ho Wong |
B.App.Sc.(Hons). |
An Inductive Theorem Prover for Prolog Programs |
November, 1995 |
| Toan Phung |
B.App.Sc.(Hons). |
A Goal-Oriented Itinerary Language for Mobile Agents (Second supervisor) |
November, 2002 |
| Edith Shum |
B.App.Sc.(Hons). |
Selective Field Encryption in Real-time Environments (Second supervisor) |
November, 2002 |
| Doran Moppert |
M.App.Sci(IT) |
Busy Beavers in the Lambda Calculus |
July, 2008 |
| Suman Jayapathi |
M.App.Sci(IT) (project) |
An agent-based approach to non-player characters in MUDs |
October, 2004 |
| Manuel Suarez |
M.App.Sci(IT) |
Simplified Agent Programming Languages |
October, 2004 |
| Arindam Gangopadhyay |
M.App.Sci(IT) |
Agent Protocols in Linear Logic |
November, 2004 |
| Helinna Yiu |
M.App.Sc.(IT) |
Programming Constructs for the Linear Logic Programming Language Lygon |
March, 1997 |
| Yi Xiao Xu |
M.App.Sc.(IT) |
Debugging Environment Design for the Logic Programming Language Lygon |
March, 1995 |