Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14)

?

Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14)

Пало Альто : AAAI Press, 2014.

Под общей редакцией: C. Baral, G. De Giacomo, T. Eiter

The KR Conference series is a leading forum for timely in- depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 KR conference was held as part of the Vienna Summer of Logic, a consortium of 12 conferences and 82 workshops organized by the Kurt Gödel Society at the Vienna University of Technology.

Query Inseparability for Description Logic Knowledge Bases

Botoeva E., Kontchakov R., Ryzhikov V. и др., , in: Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14).: Palo Alto: AAAI Press, 2014. Ch. 25 P. 25.1–25.10.

Добавлено: 25 марта 2015 г.

EGuaranteeNash for Boolean Games Is NEXP-Hard

Яновский Е. А., Ong L., , in: Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14).: Palo Alto: AAAI Press, 2014.

Добавлено: 25 февраля 2019 г.

Научное направление: Математика Компьютерные науки

Приоритетные направления: компьютерно-математическое математика

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

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

Ключевые слова: knowledge representation reasoning

Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14)

Strong Approximations for Markov Chains Weakly Converging to Diffusions

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

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

Proceedings of the 6th Workshop on Computational Approaches to Discourse, Context and Document-Level Inferences (CODI 2025)

Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.

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

On the Ramsey Number R(K_{1,s},P_t)

Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7

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

TreeDQN: Sample-efficient off-policy reinforcement learning for combinatorial optimization

Sorokin D., Kostin A., Савченко Л. В. и др., Knowledge-Based Systems 2026 Vol. 348 Article 116258

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

Microbial diversity and production of milk spirit using traditional Buryat fermentation and distillation technologies

Namsaraev Z., Nanzatov B., Козлова А. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 17769

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

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

Artificial intelligence and digital twins for failure prediction in data center cooling systems: a comprehensive literature review (2018–2026)

Butorova A., Bobakov V., Sergeev A. и др., European Physical Journal: Special Topics 2026 P. 1–19

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

Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4

Springer, 2026.

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

Wave dynamics within the Whitham-Ostrovsky equation

Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784

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

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 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 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

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

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 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 г.

Dispute Resolution with OWL DL and Reasoning

Baimuratov I., Лисанюк Е. Н., Prokudin D., CEUR Workshop Proceedings 2023 No. 3515

Добавлено: 11 ноября 2023 г.

Advances in Neural Computation, Machine Learning, and Cognitive Research VII

Магай Г. И., Soroka A., Studies in Computational Intelligence, 2023.

Добавлено: 25 октября 2023 г.

Modular vs. diagrammatic reasoning: The pragmatist side of human understanding

Боброва А. С., Пиетаринен А. Ю., Pragmatics and Cognition 2022 Vol. 29 No. 1 P. 111–134

Добавлено: 31 октября 2022 г.

Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 2) KEOD

SciTePress, 2022.

Добавлено: 24 октября 2022 г.

Логика как нормативная наука: между биологией и социальной критикой (случай нейроразнообразия)

Максудова-Елисеева Г. В., Философский журнал 2022 Т. 15 № 1 С. 131–146

В статье рассматривается проблема нормы рассуждения и процесс её расширения. Рассмотрены два источника расширения нормы – социальные движения (на примереВ статье рассматривается проблема нормы рассуждения и процесс её расширения. Автор статьи ставит цель сравнить два источника расширения нормы – социальные движения, носящие эмансипаторный характер (на примере движения за нейроразнообразие), и формальные науки (на примере логики). По ...

Добавлено: 1 ноября 2021 г.

Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management

Lisbon: SciTePress, 2021.

Добавлено: 2 октября 2021 г.