Ivo Düntsch - Böcker

This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approximate reasoning. Consultants in AI and allied fields will also find the book to be of great practical value.

This LNAI 11499 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2019, held in Debrecen, Hungary, in June 2019.The 41 full papers were carefully reviewed and selected from 71 submissions. The IJCRS conferences aim at bringing together experts from universities and research centers as well as the industry representing fields of research in which theoretical and applicational aspects of rough set theory already find or may potentially find usage. The papers are grouped in topical sections on core rough set models and methods; related methods and hybridization; areas of application.

This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.

This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.

This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing.