Applications of quantitative domain theory to non-monotonic reasoning. Partial funding by the Foundation for Polish Science and the Mianowski Fund. One month research visit (2004) at the Computer Science Institute, Department of Mathematics and Physics, Jagiellonian University, Krakow, Poland. Principal Investigator: Pascal Hitzler. Collaborator: Pawel Waszkiewicz.
Domain Logic for Artificial Intelligence. Fully funded by the DAAD (Deutscher Akademischer Austauschdienst) in the postdoc-programme. Three months research visit (October - December 2003) at the Department of Electrical Engineering and Computer Science, Case Western Reserve University, Cleveland, Ohio, USA. Principal Investigator: Pascal Hitzler. Collaborator: Guo-Qiang Zhang.
The Use of Topology and Analysis in Computational Logic. Fully funded by Enterprise Ireland. PhD scholarship (2001-2003) at the Department of Mathematics, National University of Ireland, University College Cork. Principal investigator: Anthony Karel Seda. Investigator (PhD student): Pascal Hitzler.
Back to my home page.