| g | |
| I am a PhD student in the Group of Logic & Computation. I am interested in more things than I should be; but these days I am focused on formal logic, metamathematics and nonmonotonic reasoning. I am supervised by Dov Gabbay and Odinaldo Rodrigues. In the past I have been supervised by David Makinson. | |
| thesis etc | |
My current research and thesis topic is on extending Interpolation theorems and suggesting new foundations. |
|
| parallel interpolation | |
|
On a recent joint work with David, i) we extended the Interpolation Theorem (Craig's lemma) to obtain a version of unions of letter-disjoint premise sets, which we call 'Parallel Interpolation', ii) we extended Parikh’s finest splitting theorem to infinite case, and iii) we show that AGM belief change operations respect Parikh's relevance criterion when applied to finest splitting for a belief set. Kourousias, George and David Makinson, Parallel Interpolation, Splitting and Relevance in Belief Change, in The Journal of Symbolic Logic, 72, pp994-1002, September 2007. Makinson, David and George Kourousias, Respecting Relevance in Belief Change, in memorial Volume for Carlos Alchourrón, Philosophical Analysis (SADAF), 2007. |
|
| teaching | |
Currently I'm assisting Dov with the Artificial Intelligence course (CSMAINT) and the MSc class in Advanced Research Topics (CSMART). In the past I've assisted: programming language design, lambda & sigma calculus, software engineering, database systems | tutorials for CS02DB, CSMAPT (MSc), CS1PR1| software engineering, data structures | tutorials for CS1DST and CS1PR2 and supervision of CS1IDS lab session. |
|
| contact | |
| George
Kourousias King's College London, Department of Computer Science, Strand, WC2R 2LS, London  |
|
| var links | other |
Department
of Comp.Sci. (KCL) |
|
