Graph Structures for Knowledge Representation and Reasoning. GKR 2020. Val. 12640.

doi:10.1007/978-3-030-72308-8

Публикации

?

Graph Structures for Knowledge Representation and Reasoning. GKR 2020

Vol. 12640. Springer, 2021.

Под общей редакцией: M. Cochez, M. Croitoru, P. Marquis, S. Rudolph

Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination

Stalker I. D., Казанцев Н. С., , in: Graph Structures for Knowledge Representation and Reasoning. GKR 2020Vol. 12640.: Springer, 2021. Ch. 1 P. 93–104.

Добавлено: 16 марта 2021 г.

Приоритетные направления: математика

Язык: английский

Полный текст

DOI

Текст на другом сайте

Ключевые слова: Business Objects Semantics алгебраическая семантика

Graph Structures for Knowledge Representation and Reasoning. GKR 2020

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Homogeneous maximizers of the Blaschke-Santalo-type functionals

Колесников А. В., / Series arXiv "math". 2025.

Добавлено: 13 февраля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

On finding formal power-logarithmic expansions of solutions to q-difference equations

Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.

Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...

Добавлено: 25 декабря 2025 г.

Ideal of the variety of flexes of plane cubics

Попов В. Л., / Series arXiv "math". 2025. No. 2502.01539.

Добавлено: 16 декабря 2025 г.

Random walks on rank one symmetric spaces of noncompact type

Гнетов Ф. А., Конаков В. Д., / Series arXiv "math". 2025. No. 2512.04667.

Добавлено: 5 декабря 2025 г.

Cascades of Lorenz attractors in the Shimizu-Morioka model

Казаков А. О., Корякин В. А., Сафонов К. А. и др., / Series arXiv "math". 2025.

Добавлено: 4 декабря 2025 г.

Асимптотический вариант метода параметрикс для цепей Маркова, сходящихся к диффузиям

Биттер И. И., Конаков В. Д., / Cornell University. Серия arXiv "math". 2025. № 2505.24548.

В работе приводится обобщение локальной предельной теоремы о сходимости неоднородных цепей Маркова к диффузионному пределу на случай, когда соответ- ствующие коэффициенты процессов удовлетворяют слабым условиям регулярности и совпадают лишь асимптотически. В частности, рассматриваемые нами коэффици- енты сноса могут быть неограниченными с не более чем линейным ростом, а оценки отражают перенос терминального состояния неограниченным трендом через ...

Добавлено: 3 декабря 2025 г.

Stabilization of direct images for curves

Богомолов Ф. А., Schrandt S., / Series arXiv "math". 2025.

Добавлено: 1 декабря 2025 г.

Upper Bounds on the Torsion Index of Half-Spin Groups

Девятов Р. А., Baek S., / Series arXiv "math". 2025.

Добавлено: 1 декабря 2025 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

Добавлено: 1 декабря 2025 г.

Birational transformations of threefold Q-conic bundles

Прохоров Ю. Г., / Series arXiv "math". 2025.

Добавлено: 1 декабря 2025 г.

Birational geometry of hyperkahler manifolds and the Hu-Yau conjecture

Америк Е. Ю., Verbitsky M., Soldatenkov A., / Series arXiv "math". 2025.

Добавлено: 1 декабря 2025 г.

Современная модальная логика: между математикой и информатикой

Шехтман В. Б., Шапировский И. Б., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 2018. С. 265–305.

Модальная логика возникла в древности для формализации понятий возможного и необходимого. Современная модальная логика стала одним из инструментов решения задач информатики --как теоретических, так и вполне прикладных. Произошёл достаточно неожиданный переход из области абстрактных философских категорий в актуальную и практически значимую современную дисциплину. Он был обусловлен тем, что модальная логика (как и логика в целом) приобрела развитый математический аппарат --- алгебраический, топологический, ...

Добавлено: 21 сентября 2018 г.

Ontological Framework Aimed to Facilitate Business Transformations

Полетаева Т. А., Бабкин Э. А., Abdulrab H., , in: CEUR Workshop Proceedings (T.1301, 1st Joint Workshop ONTO.COM / ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). Rio de Janeiro, Brazil, September 21, 2014)Vol. 1301: Ontologies in Conceptual Modeling and Information Systems Engineering (ONTO-COM-ODISE 2014).: [б.и.], 2014.

Information systems aimed for the analysis and management of enterprises perceive the reality through their embedded data patterns. These data patterns must be sufficient to store the information about transformations of business processes, products and organizational structure over time. Moreover, customization, extension and integration of data models have not to impede organizational changes. However, there ...

Добавлено: 23 октября 2014 г.