Prof. Dr. Vladimir V. Rybakov

Professor (Chair) in Mathematical Logic and Computer Science, Manchester Metropolitan University, School of Computing, Mathematics and Digital Technologies; Manchester, M1 5GD, UK                                                                                                                  

RESEARCH INTERESTS:  Mathematical Logic with Emphases on Non Classical Logics:  Modal Logics, Temporal Logics, Constructive Logic, Logic in Knowledge Representation, Artificial Intelligence, Logic in Computer Science, Universal Algebra.

APPLICATIONS:  (i) mathematical models for human reasoning and their application to  Computer Science, Artificial Intelligence and Knowledge Engineering,  (ii) construction of  algorithms to serve computation for verification correctness of information, its consistency and  security,  for web ontology, for derivation new knowledge from  known facts.

 FUNDUNG in UK:  EPSRC grant: Consequence Relations in Logics of AI : January 2009 January  2011, worth 304 K (one PI and one Research Assistant)

PUBLICATIONS since 2005: cf. DBLP or ARNETMINER:

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rybakov:Vladimir_V=.html

http://www.arnetminer.org/viewperson.do?naid=248355&keyword=Vladimir%20V.%20Rybakov

SELECTED PUBLICATIONS from 2001 until 2005:

http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/pub20002007.pdf

SELECTED PUBLICATIONS from 1974 until 2001:

http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/publ2007.pdf

Book, Research Monograph,  Published - Elsevier, North-Holland, New-York, Amsterdam,  London, 1997 :

http://www.ebscobooks.com/books/ProductDetails.asp?CatalogID=1161991; 

http://www.alibris.co.uk/search/books/qwork/126845/used/Admissibility%20of%20logical%20inference%20rules?cid=rNXs5TsWCMhxUcF9hDKdaA==

 

CV, TEACHING EXPERIENCE, PhDs, Invited Lectures, Conferences, Visiting Research Positions, etc. (until 2005): http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/cvweb.pdf

Honours, Awarded Visiting Positions:   

 http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/Honors.htm

 

Teaching (since 2005):  Artificial Intelligence; Prolog Programming Language; Knowledge Based Systems

Degrees awarded:   Ph.. D in Mathematics, Novosibirsk University, Russia, 1979; Doctor of Science (Habilitation Degree) in Mathematical Logic from   Institute of   Mathematics, Acad. of Sci. of USSR,  Siberian  Branch, Novosibirsk, Russia,1987;  Full Professor, Chair in Algebra and Logic, Krasnoyarsk University, Russia, 1989 .

Current Address:  Office: E159; Department of Computing and Mathematics,
Manchester Metropolitan University, Chester Street, Manchester M1 5GD , United Kingdom
Phone: +44-0161-247-3337, E-Mail: V.Rybakov@mmu.ac.uk;