03948nam a22006375i 4500 978-3-031-68279-7 DE-He213 20251030112850.0 cr nn 008mamaa 240812s2024 sz | s |||| 0|eng d 9783031682797 978-3-031-68279-7 10.1007/978-3-031-68279-7 doi QA76.63 UYQ bicssc COM004000 bisacsh UYQ thema Relational and Algebraic Methods in Computer Science [electronic resource] : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings / edited by Uli Fahrenberg, Wesley Fussner, Roland Glück. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. X, 261 p. 28 illus., 11 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14787 Tabular and Pretabular Varieties of MTL-algebras -- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces -- Irrationality of Process Replication for Higher-Dimensional Automata -- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation -- On the Structure of Balanced Residuated Partially-ordered Monoids -- Complete Congruences of Completely Distributive Lattices -- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems -- Restructuring a Concurrent Refinement Algebra -- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras -- Data Migration under a Changing Schema in Ampersand -- Using Matrix Sparsification to Solve Tropical Linear Vector Equations -- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops -- L-Fuzzy Weak Preference, Preference, and Choice Relations -- Lifting Star-autonomy. This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19–22, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Logic programming. 66664 Database management. 60571 Expert systems (Computer science). 67822 Computer science Mathematics. 64041 Artificial intelligence. 58441 Data mining. 6941 Logic in AI. 66665 Database Management System. Knowledge Based Systems. 67823 Mathematics of Computing. 66501 Artificial Intelligence. 58441 Data Mining and Knowledge Discovery. Fahrenberg, Uli. editor. edt http://id.loc.gov/vocabulary/relators/edt 82260 Fussner, Wesley. editor. edt http://id.loc.gov/vocabulary/relators/edt 82261 Glück, Roland. editor. edt http://id.loc.gov/vocabulary/relators/edt 82262 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031682780 Printed edition: 9783031682803 Lecture Notes in Computer Science, 1611-3349 ; 14787 https://doi.org/10.1007/978-3-031-68279-7 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 62420 62420