The group (LCSKE) was formed in 2002 and is based in the School of Computing, Mathematics and Digital Technology at Manchester Metropolitan University (MMU). The LCSKE undertakes research in the area of mathematical modelling for human reasoning and representation knowledge in Computer Science (CS) , Knowledge Engineering (KE) and Artificial Intelligence (AI), in construction algorithms to recognize consistency and correctness, to infer new knowledge from known information, modelling web ontology. Group was supported by EPSRC grant (2007 -- 2011), published since 2002 above 46 papers in journals and proceedings of International conferences.
The aim of this group is to investigate mathematical models for human reasoning and their application to CS, AI and KE, finding of algorithms to serve computation for verification correctness of information, its consistency and security, for derivation new knowledge from known information, representation web ontology, knowledge elicitation from. Current publications of our group may be found via main CS databases DBLP:
or ARNETMINER:
Prof. Dr. Vladimir Rybakov,
School of Computing, Mathematics and Digital Technology
Manchester Metropolitan University
Chester Street
Manchester M1 5GD
United Kingdom,
e-mail: V.Rybakov@mmu.ac.uk
web pages: http://www.scmdt.mmu.ac.uk/staff/staffbiog/default.asp?StaffID=446 and http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/