Past and Present PhD Students Present Students Jiefei Ma (Jointly supervised with Dr Alessandra Russo) Tim Kimber (Jointly supervised with Dr Alessandra Russo) Completed Students Luke Dickens (2009) Learning to Act Stochastically (Jointly supervised with Dr Alessandra Russo) Bjorn Bjurling (2006) A Labelled Deductive System for Reasoning about Random Experiments Seyed R Mousavi (2006) Teleo-Reactive Agents Oliver Ray (2005) Hybrid Abductive Inductive Learning (Jointly supervised with Dr Alessandra Russo) Artur Garcez (2000) Neural Symbolic Learning Systems Luis Lamb (2000) Labelled Natural Deduction Systems for Conditional Logics of Normality Sanjay Mogdil (1998) A Labelled System for Practical Reasoning (Jointly supervised with Professor Dov Gabbay) Rosli Bin Omar (1998) Integrating Consistency into Fault Diagnosis with Compiled Knowledge Alessandra Russo (1996) Modal Logic as a Labelled Deductive System Dimitris Raptis(1996) Reduction Rules for Resolution Based Theorem Proving Mark Dawson (1990) A Generic Logic Environment