Daniel Pokrywczynski's homepage
I am a PhD student in the Computer Science Department of the University of Liverpool, supervised by Frank Wolter and Grant Malcolm
My PhD project is focused on deciding conservativity and interpretability in description logics with use of theory of institutions.

Address
University of Liverpool
Department of Computer Science
Ashton Building
Liverpool L69 3BX
United Kingdom

Office
1.09

Telephone
+44 (0)151 795 4239

EMail
daniel[at]csc.liv.ac.uk

Master's thesis
Tableau methods in normal modal logics. (June 2005 - Nicolaus Copernicus University; Poland)

Publications

• Daniel Pokrywczynski and Grant Malcolm. Towards a Functional Approach to Modular Ontologies using Institutions. [pdf] Submitted for publication.
   
• Daniel Pokrywczynski and Dirk Walther. Deciding logical difference problem in EL with role inclusions. [pdf] In Proceedings of the Workshop on Ontologies: Reasoning and Modularity (WORM-08)

Visits to Conferences and workshops

• Trends in Logic IV, Towards Mathematical Philosophy, Torun, Poland, September 1-4, 2006.
   
• Logic-Philosophical Workshop, September 5-8, 2005, Zamek Bierzglowski, Poland.
   

Activities

Assistant editor of Studia Logica

Teaching

Tutorials for COMP 109, Foundations of Computer Science (Since 2007 until now)

Last update: February 20, 2010.