Prof Frank Wolter

Professor Computer Science

    Research

    Knowledge Representation and Reasoning

    Logic in Computer Science

    Research Grants

    Knowledge representation and reasoning about distances.

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    January 2004 - January 2007

    Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    September 2007 - November 2007

    Dynamic ontologies: a framework for service descriptions.

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    June 2004 - June 2007

    Composing and decomposing ontologies: a logic-based approach

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    July 2007 - June 2010

    Combination of modal and discriptional logics and their employment for the presentation of international and dynamic knowledge.

    DEUTSCHE FORSCHUNGSGEMEINSCHAFT (GERMANY)

    January 2003 - September 2004

    Logical difference for ontology versioning

    ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC)

    September 2010 - January 2014