в разделе my events выложены слайды и аудио докладов
Summary: Knowledge Representation is a rapidly developing area of Artificial Intelligence, which brings together computer scientists and philosophers. The purpose of this workshop is to explore some applications of Category theory and Ontologies in Knowledge Representation.
When: Wednesday September 17 from 10 A.M. to 7 P.M.
Where: Institute of Philosophy of Russian Academy of Sciences (14/5 Volkhonka st., Moscow) Room 525.
Venue: Metro station Kropotkinskaya
Languages: Morning Session will be in Russian, Afternoon Session will be in English
Web: iph.ras.ru/science_events.htm
Schedule:
10:00 – 10:50
Sergei Kavalyaov (ICS RAS)
Category-theoretic models and methods for development of information systems
Coffee Break 15 mins
11:05 – 12:55
Alex Shkotin (SGM RAS)
Ontologies for Petrology
Coffee Break 15 mins
12:10 – 13:00
Andrei Rodin (IP RAS)
Categorical approaches in Knowledge Representation
LUNCH 2h
15:00 – 15:50
Irina Starikova (Sao Paulo U)
Cognitive Representations in Mathematical Reasoning
Coffee Break 15 mins
16:05 – 16:55
Vitaly Khudovakshev (SPBU) (Skype)
Probabilistic Programming and the Generic Aprroach in Knowledge Representation
Coffee Break 15 mins
17:10 – 18:00
Henson Graves (Lockheed Martin) (Skype)
A Mathematical Framework for Engineering and Science Applications
(TBC)
18:00 – 19:00
General Discussion