Michael Zakharyaschev

professor of computer science

Room 161, Main Building
Department of Computer Science and Information Systems
Birkbeck College
Malet Street
London WC1E 7HX
UK
Tel: +44-20-7631 6716
Fax: +44-20-7631 6727
Email: michael@dcs.bbk.ac.uk

Research

List of publications [DBLP ]

Google Scholar profile

"Many-Dimensional Modal Logics: Theory and Applications"
D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. 2003. Elsevier page.

"Modal Logic" A. Chagrov and M. Zakharyaschev. 1997. Oxford University Press page.

"Mathematical Problems from Applied Logic I, II. Logics for the XXIst Century". International Mathematical Series, Vol. 4 and 5. Springer, 2006-7. Edited by D. Gabbay, S. Goncharov and M.Zakharyaschev. Vol.1 and Vol.2 Springer pages.

Funded projects

ExODA: Integrating description logics and database technologies for expressive ontology-based data access (Funded by EPSRC, 2010-2013)
Computational logic of Euclidean spaces (Funded by EPSRC, 2007-2010)
Knowledge Representation and Reasoning about Distances. (Funded by EPSRC, 2004-2007)
Dynamic Ontologies: a Framework for Services Descriptions (Funded by EPSRC, 2004-2007)
Complexity analysis of reasoning in combined knowledge representation systems. (Funded by EPSRC, 2001-2004)
Analysis and mechanisation of decidable first-order temporal logics. (Funded by EPSRC, 2001-2004)
Knowledge representation and reasoning (a logic approach). (Funded by the Japan Society for the Promotion of Science (JSPS) and the British Council in the framework of the "Invitation Program for British Professors," October-November 2004)

Awards

Distinguished paper award, 22nd International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, 2011. R. Kontchakov, Y. Nenov, I. Pratt-Hartmann and M. Zakharyaschev. On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Best paper award, 5th International Conference on Web Reasoning and Rule Systems (RR), Galway, Ireland, 2011. S. Kikot, R. Kontchakov and M. Zakharyaschev. Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies
Ray Reiter best paper prize, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR), Toronto, 2010. R. Kontchakov, C. Lutz, D. Toman, F. Wolter and M. Zakharyaschev. The Combined Approach to Query Answering in DL-Lite.
Ray Reiter best paper prize, 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR), Sydney, 2008. R. Kontchakov, F. Wolter and M. Zakharyaschev. Can you tell the difference between DL-Lite ontologies?
Best paper prize, 7th International Conference on the Principles of Knowledge Representation and Reasoning (KR), Breckenridge, USA, 2000. F. Wolter and M. Zakharysachev. Spatio-temporal representation and reasoning based on RCC-8.