|
| Name: |
Professor F Wolter |
| Organisation: |
University of Liverpool |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/S032207/1 | quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data | (P) |
| EP/M012646/1 | iTract: Islands of Tractability in Ontology-Based Data Access | (P) |
| EP/H043594/1 | Logical Difference for Ontology Versioning | (C) |
| EP/F014058/1 | Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving | (P) |
| EP/E065279/1 | Composing and decomposing ontologies: a logic-based approach | (P) |
| GR/T08210/01 | Visiting Fellowship in Computational Logic | (C) |
| GR/S63182/01 | Dynamic Ontologies: a Framework for Service Descriptions | (P) |
| GR/S61966/01 | Knowledge Representation & Reasoning about Distances | (P) |
| GR/R45376/01 | Analysis and Mechanisation of Decidable First-Order Temporal Logics | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|