Weighted programming: a programming paradigm for specifying mathematical models

K Batz, A Gallus, BL Kaminski, JP Katoen… - Proceedings of the ACM …, 2022 - dl.acm.org
We study weighted programming, a programming paradigm for specifying mathematical
models. More specifically, the weighted programs we investigate are like usual imperative …

Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey

Z Zeng, Q Cheng, Y Si - Mathematics, 2023 - mdpi.com
With its powerful expressive capability and intuitive presentation, the knowledge graph has
emerged as one of the primary forms of knowledge representation and management …

[HTML][HTML] Fuzzy eigenvectors with matrix product of type max-increasing operation

Z Matusiewicz - Fuzzy Sets and Systems, 2023 - Elsevier
In 1978, a fuzzy eigenequation with max⁡− min product was introduced and studied by
Sanchez. He provided us with its maximal solution. In this study, we examine the fuzzy …

Strong tolerance of interval eigenvectors in fuzzy algebra

M Gavalec, J Plávka, D Ponce - Fuzzy Sets and Systems, 2019 - Elsevier
In max–min fuzzy algebra, the standard pair of operations—plus and times—is substituted
by a different pair of operations—maximum and minimum—which are involved in many …

A public key encryption scheme based on idempotent semirings

M Durcheva, M Rachev - AIP Conference Proceedings, 2015 - pubs.aip.org
The problem of solving two sided linear equations in the idempotent semirings Rmax and
Rmin has been proved to be reducible to the problem mean payoff game which is of the …

On implementation of Stickel's key exchange protocol over max-min and max- semirings

S Alhussaini - Cryptology ePrint Archive, 2024 - eprint.iacr.org
Given that the tropical Stickel protocol and its variants are all vulnerable to the generalized
Kotov-Ushakov attack, we suggest employing the max-min semiring and, more generally …

On the solutions of linear systems over additively idempotent semirings

ÁO Sánchez, D Camazón, JAL Ramos - arXiv preprint arXiv:2404.03294, 2024 - arxiv.org
The aim of this article is to solve the system $ XA= Y $ where $ A=(a_ {ij})\in M_ {m\times
n}(S) $, $ Y\in S^{m} $ and $ X $ is an unknown vector of size $ n $, being $ S $ an additively …

Steady states of max-Łukasiewicz fuzzy systems

M Gavalec, Z Němcová - Fuzzy Sets and Systems, 2017 - Elsevier
The paper gives a systematic characterization of the eigenspaces in a max-t algebra, where
t is the Łukasiewicz t-norm. A max-Łukasiewicz fuzzy algebra can be used for the description …

Application of tropical optimization for solving multicriteria problems of pairwise comparisons using log-Chebyshev approximation

N Krivulin - International Journal of Approximate Reasoning, 2024 - Elsevier
We consider a decision-making problem to find absolute ratings of alternatives that are
compared in pairs under multiple criteria, subject to constraints in the form of two-sided …

A geometric approach to MV-algebras

D Mundici - On Logical, Algebraic, and Probabilistic Aspects of …, 2016 - Springer
Markov unrecognizability theorem puts an end to the classical program of equipping any
combinatorial manifold M with a computable set I _M of invariants such that a manifold N is …