Name:	Dr A Degtyarev
Organisation:	Kings College London
Department:	Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/S63175/02 Dynamic Ontologies: a Framework for Service Descriptions (C) GR/S61973/02 Knowledge Representation & Reasoning about Distances (C) GR/S61973/01 Knowledge Representation & Reasoning about Distances (C) GR/S63175/01 Dynamic Ontologies: a Framework for Service Descriptions (C) GR/R45369/01 Analysis and mechanisation of decidable first-order temporal loics (C) GR/M46631/02 MECHANISING FIRST - ORDER TEMPORAL LOGIC (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator