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

Pairings on the algebra of Laurent series over a ring

Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.

Добавлено: 24 сентября 2026 г.

Iterative construction of the R-matrices in arbitrary dimensions

Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.

Добавлено: 24 сентября 2026 г.

On static manifolds with boundary admitting a nowhere-vanishing static potential

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

We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...

Добавлено: 19 сентября 2026 г.

Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge

Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

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

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Глуцюк А. А., / Series arXiv "math". 2026.

Добавлено: 8 сентября 2026 г.

Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows

Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.

Добавлено: 31 августа 2026 г.

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

Добавлено: 21 июля 2026 г.

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

Добавлено: 16 июля 2026 г.

On Goncharov’s conjecture in next to Milnor degree

Болбачан В. С., / Series math "arxiv.org". 2024.

Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...

Добавлено: 16 июля 2026 г.

Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond

Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.

Добавлено: 9 июля 2026 г.

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

Добавлено: 11 июня 2026 г.

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 г.

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

Шехтман В. Б., Шапировский И. Б., В кн.: Современная логика: основания, предмет и перспективы развития.: М.: ИД "Форум", 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 г.