Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (Q6496169): Difference between revisions

Revision as of 13:50, 3 December 2024

scientific article; zbMATH DE number 7841847

Language	Label	Description	Also known as
English	Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics	scientific article; zbMATH DE number 7841847

Statements

instance of

scholarly article

0 references

title

Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (English)

0 references

0 references

0 references

2 May 2024

0 references

zbMATH Keywords

fuzzy bisimulation

0 references

fuzzy partition

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The construction of possibility measures from samples on \(\mathfrak T\)-semi-partitions

0 references

Q4342096

0 references

Q4627753

0 references

Fuzzy Description Logics – A Survey

0 references

Partitioning a graph in \(O(|A|\log_ 2|V|)\)

0 references

Fuzzy equivalence relations and their equivalence classes

0 references

Bisimulations for fuzzy automata

0 references

Computation of the greatest simulations and bisimulations between fuzzy automata

0 references

Bisimulations for weighted automata over an additively idempotent semiring

0 references

Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations

0 references

Notions of Bisimulation for Heyting-Valued Modal Languages

0 references

Logical characterizations of regular equivalence in weighted social networks

0 references

Algebraic laws for nondeterminism and concurrency

0 references

Q4045961

0 references

Expressivity in chain-based modal logics

0 references

Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences

0 references

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

0 references

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

0 references

Three Partition Refinement Algorithms

0 references

Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application

0 references

Bisimulations for fuzzy transition systems revisited

0 references

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems

0 references

Logical characterizations of simulation and bisimulation for fuzzy transition systems

0 references

Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures

0 references

Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them

0 references

Identifiers

DOI

10.1016/j.ins.2023.02.029

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6496169

@@ Property / cites work @@
+The construction of possibility measures from samples on \(\mathfrak T\)-semi-partitions
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4627753
@@ Property / cites work: Q4627753 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Description Logics – A Survey
@@ Property / cites work: Fuzzy Description Logics – A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioning a graph in \(O(|A|\log_ 2|V|)\)
@@ Property / cites work: Partitioning a graph in \(O(|A|\log_ 2|V|)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy equivalence relations and their equivalence classes
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Bisimulations for weighted automata over an additively idempotent semiring
+Normal rank
@@ Property / cites work @@
+Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
+Normal rank
@@ Property / cites work @@
+Notions of Bisimulation for Heyting-Valued Modal Languages
+Normal rank
@@ Property / cites work @@
+Logical characterizations of regular equivalence in weighted social networks
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity in chain-based modal logics
@@ Property / cites work: Expressivity in chain-based modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
+Normal rank
@@ Property / cites work @@
+Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
+Normal rank
@@ Property / cites work @@
+Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
+Normal rank
@@ Property / cites work @@
+Similarity relations, fuzzy partitions, and fuzzy orderings
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy transition systems revisited
+Normal rank
@@ Property / cites work @@
+Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
+Normal rank
@@ Property / cites work @@
+Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
+Normal rank