Past and Present PhD Students Present Students (Co-supervised with Dr Alessandra Russo) Duangtida Athakravi (2011-) Graham Deane (Teaching Scholar, 2011-) Calin-Rares Turliuc (2012-) Mark Law (Teaching Scholar, 2013-) Completed Students Tim Kimber (2012) Learning Definite and Normal Logic Programs by Induction on Failure (Co-supervised with Dr Alessandra Russo) Jiefei Ma (2011) Distributed Abductive Reasoning: Theory, Implementation and Applications (Co-supervised with Dr Alessandra Russo) Luke Dickens (2009) Learning to Act Stochastically (Co-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 (Co-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 (Co- supervised with Professor Dov Gabbay) Dimitris Raptis(1996) Reduction Rules for Resolution Based Theorem Proving Mark Dawson (1990) A Generic Logic Environment