Search results

• Finished

  Products of modal logics and their algebraic connections

  Kurucz, A. (Primary Investigator)

  1/08/2014 → 31/07/2016

  Project: Research

• Knowledge, representation and reasoning about distance

  Zakharyaschev, M. (Primary Investigator), Degtiarev, A. (Co-Investigator), Hodkinson, I. (Co-Investigator) & Kurucz, A. (Co-Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/02/2004 → 31/07/2007

  Project: Research

• Dynamic Ontologies: A framework for service descriptions

  Zakharyaschev, M. (Primary Investigator), Degtiarev, A. (Co-Investigator) & Kurucz, A. (Co-Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2004 → 31/12/2006

  Project: Research