Groups
Groups
Sign in
Groups
Groups
Контролируемый русский язык
Conversations
Labels
CC
FOL
OWL2
molto
patent
translation
КСГ
ЯЗО
анализ
дерево_подчинения
задачка
морфологический
приложения
синтаксический
упоминается
эйнштейн
About
Send feedback
Help
Контролируемый русский язык
Contact owners and managers
1–1 of 278
Контролируемый русский язык (КРЯ) предлагается разработать для общения человека с ИС поддерживающими математически записанные (
формализованные
) знания.
На сегодня 22.05.2013 КРЯ нет.
Или как?
Mark all as read
Report group
0 selected
Alex Shkotin
,
Yuriy Milov
7
10/30/13
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving
не за деньги и славу - за державу обидно (с) если не мы - то кто и когда? время - деньги стартанём
unread,
FOL
OWL2
translation
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving
не за деньги и славу - за державу обидно (с) если не мы - то кто и когда? время - деньги стартанём
10/30/13