Композиційно-номінативні  мультимодальні логіки

dc.contributor.author	Шкільняк, О.С.
dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2014-04-13T07:39:52Z
dc.date.available	2014-04-13T07:39:52Z
dc.date.issued	2011
dc.identifier.citation	Композиційно-номінативні мультимодальні логіки / О.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2011. — № 4. — С. 126-133. — Бібліогр.: 9 назв. — укр.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/60251
dc.description.abstract	Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і кванторного рівнів. В межах пропонованих логік виділено композиційно-номінативні логіки епістемічного типу.	uk_UA
dc.description.abstract	Предложены новые классы специальных программно-ориентированных логик частичных предикатов – композиционно-номинативные мультимодальные логики. Описаны языки и исследованы семантические свойства таких логик реноминативного и кванторного уровней. В рамках предложенных логик выделены композиционно-номинативные логики эпистемического типа.	uk_UA
dc.description.abstract	New special-purpose classes of program-oriented logics of partial predicates, i.e. compositional nominative multimodal logics, are introduced. For the logics of renominative and quantifier levels, languages are defined and semantic properties are studied. Compositional nominative logics of epistemic type are given within the defined logics.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Штучний інтелект
dc.subject	Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск	uk_UA
dc.title	Композиційно-номінативні мультимодальні логіки	uk_UA
dc.title.alternative	Композиционно-номинативные мультимодальные логики	uk_UA
dc.title.alternative	Compositional Nominative Multimodal Logics	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69