Frank Wolter's Home Page

Frank Wolter

Professor for Logic and Computation at the University of Liverpool.

Office
114

Address
University of Liverpool
Department of Computer Science
Ashton Building
Ashton Street
Liverpool L69 3BX
Tel. (+44) 151 7947338 and (+44) 151 7943710

Email
frank@csc.liv.ac.uk



Research Interests

Knowledge Representation and Reasoning
Logic in Computer Science
Mathematical Logic
Modal Logics: almost all aspects. Book: Many-dimensional Modal Logics.
Temporal Logics: almost all aspects
Description Logics: almost all aspects
Spatial Reasoning: logics for topological spaces, distance spaces, metric spaces, mereotopology
Combining logics: fusions, E-connections, monodic combinations, products, expanding products
Decidability and computational complexity of logics
Automated reasoning
Logics for dynamical systems, in particular based on topological and metric spaces

Papers online

List of Publications


Editorships

Co-editor of the Handbook of Modal Logic.
Co-editor of the Proceedings of Frontiers of Combining Systems (Springer Lecture Notes), 2007.
Co-editor of the Description Logic Workshop Proceedings 2005.
Co-editor of Advances in Modal Logic 4.
Co-editor of Advances in Modal Logic 3.
Special Issue on Multi-dimensional Logics: Studia Logica, November 2002, Volume 72, Issue 2.


Best Paper Awards

7th International Conference on Principles of Knowledge Representation and Reasoning (KR-2000) for: Spatio-temporal Representation and Reasoning based on RCC-8, co-authored with M. Zakharyaschev
10th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008) for: Can you tell the difference between DL-Lite Ontologies, co-authored with R. Kontchakov and M. Zakharyaschev


Projects

Combining Knowledge Representation and Reasoning Formalisms. (Funded by Deutsche Forschungsgemeinschaft, 2002-2004.)
Dynamic Ontologies: a Framework for Services Descriptions. (Funded by EPSRC, 2004-2007.)
Knowledge Representation and Reasoning about Distances. (Funded by EPSRC, 2004-2007.)
Composing and decomposing ontologies: a logic-based approach. (Funded by EPSRC, 2007-2010.)


Memberships

Member of the Editorial Board of Reports on Mathematical Logic
Member of the Editorial Board of Journal of Applied Logic
Member of the Steering Committee of AiML (Advances in Modal Logic) (since 2002)
Member of the Steering Committee of Description Logic Workshop (since 2005)
Member of the Steering Committee of Frontiers of Combining Systems (FroCoS) (since 2006)
Member of the EPSRC College (since 2006)
Chartered Fellow of BCS


Events

PC member of JELIA 2010
Senior PC member of ECAI 2010
PC member of KR 2010 (Principles of Knowledge Representation and Reasoning)
PC member of AiML 2010 (Advances in Modal Logic)
PC member of WOMO 2010
PC member of M4M 2009
PC member of IJCAI 2009
PC member of Tableaux 2009
PC member of FroCoS 2009
PC member of Description Logic Workshop 2009
PC member of TIME 2009
PC member of IJCAR 2008 (International Joint Conference on Automated Reasoning)
PC member of KR 2008 (Principles of Knowledge Representation and Reasoning)
PC member of LICS 2008
PC member of AiML 2008
PC member of TIME 2008
PC member of DL 2008
PC member of CandO 2008 (Fourth International Workshop on Contexts and Ontologies)
PC member of CEDAR 2008 (Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning)
Co-chair of Session on Uncertainty at Workshop on Nonmonotonic Reasining 2008
Course on Modularity of Logical Theories and Ontologies, ESSLLI-2008
Course at KRDB Summer School: Logical Difference, Conservative Extensions and Modularity in Description logics, Bolzano 2008
Co-organiser of WORMS (Workshop on Ontologies: Reasoning and Modularity), Tenerife 2008
Programme Chair of FroCoS-2007
Co-organiser of WOMO (Workshop on Modular Ontologies) 2007
PC member of AAAI 2007
PC member of LPAR 2007
PC member of DL-Workshop 2007
PC member of Contexts and Ontologies: Representation and Reasoning-2007
PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR) 2006
PC member of IJCAR (International Joint Conference on Automated Deduction) 2006
PC member of Advances in Modal Logic Conference (AiML) 2006
PC member of TIME 2006
PC member of European Conference on Artificial Intelligence (ECAI) 2006
PC member of Description Logic Workshop (DL) 2006
PC member of Context Representation and Reasoning (CRR) 2006
PC member of TIME-ICTL 2003
PC member of LPAR 2003
PC member of M4M 2003
PC member of KR 2004
PC member of AiML 2004
PC member of IJCAR 2004 Doctoral Programme
PC member of Conference on Spatial Cognition 2004
PC member of LPAR 2005
Co-organizer of Description Logic Workshop 2005
PC member of Workshop on Context Representation and Reasoning 2005
PC member of Frontiers of Combining Systems 2005
PC member of M4M 2005
Lecturer at ESSLLI 2005
Invited talk at ARW-2003 (Automated Reasoning Workshop) in Liverpool, 2003
Invited talk at De Morgan Symposion 2003 in London, 2003
Invited talk at DL-2004 (Description Logic Workshop) in Whistler, 2004
Invited talk at Negation in Constructive Logic Workshop in Dresden, 2004
Invited talk at CombLog2004 (Combining Logics Workshop) in Lisbon, 2004
Invited talk at CADE-20(20th International Conference on Automated Deduction), 2005
Invited talk at Workshop on Modal logic, Stone Duality and Coalgebras, Leicester, 2006
Invited talk at Workshop on Modular Ontologies (WoMO) at ISWC, Athens, 2006
Invited talk at British Logic Colloquium in London, September 2007
Invited talk at Algebraic and Topological Methods in non-classical Logics III (TANCL-07), Oxford, August 2007
Invited talk at Contexts and Ontologies: Representation and Reasoning, Roskilde, August 2007
Invited talk at Conference on Judgements, Assertions and Propositions, Berlin, January 2008
Guest Professor at JAIST (Japan Advanced Institute of Science and Technology), JAIST Advanced Lecture Series, April 2009
Invited talk at WOLLIC-2009, Tokyo, June 2009
Invited talk at ASL Logic Colloquium, Sofia, August 2009


PhD Students

List of students and their work


Teaching

Ontology Languages (COMP321)
MSc Projects 2007
BSc Projects 2003


Other Activities