Frank Wolter

Research
Knowledge Representation and Reasoning
Logic in Computer Science
Research Grants
Knowledge representation and reasoning about distances.
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
Dynamic ontologies: a framework for service descriptions.
Composing and decomposing ontologies: a logic-based approach
Combination of modal and discriptional logics and their employment for the presentation of international and dynamic knowledge.
Logical difference for ontology versioning