Theory and Applications of Relational Structures as Knowledge Instruments
Theory and Applications of Relational Structures as Knowledge Instruments

Author: Harrie de Swart

Publisher: Springer

Published: 2004-01-30

Total Pages: 280

ISBN-13: 3540246150

DOWNLOAD EBOOK

Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and the use of relational methods in various application fields. The 12 revised full papers were carefully reviewed and selected for presentations. The papers are devoted to mechanization of relational reasoning, relational scaling and preferences, and algebraic and logical foundations of real world relations.

Theory and Applications of Relational Structures as Knowledge Instruments II
Theory and Applications of Relational Structures as Knowledge Instruments II

Author: Harrie de Swart

Publisher: Springer

Published: 2007-01-23

Total Pages: 381

ISBN-13: 354069224X

DOWNLOAD EBOOK

This book constitutes the major results of the EU COST (European Cooperation in the field of Scientific and Technical Research) Action 274: TARSKI - Theory and Applications of Relational Structures as Knowledge Instruments - running from July 2002 to June 2005. The papers are devoted to further understanding of interdisciplinary issues involving relational reasoning by addressing relational structures and the use of relational methods in applicable object domains.

Unifying Theories of Programming
Unifying Theories of Programming

Author: Andrew Butterfield

Publisher: Springer

Published: 2010-07-30

Total Pages: 286

ISBN-13: 3642145213

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. The 15 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 20 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Information Processing and Management of Uncertainty in Knowledge-Based Systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems

Author: Davide Ciucci

Publisher: Springer Nature

Published: 2022-07-04

Total Pages: 807

ISBN-13: 303108974X

DOWNLOAD EBOOK

This two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy, in July 2022. The 124 papers were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections as follows: aggregation theory beyond the unit interval; formal concept analysis and uncertainty; fuzzy implication functions; fuzzy mathematical analysis and its applications; generalized sets and operators; information fusion techniques based on aggregation functions, pre-aggregation functions, and their generalizations; interval uncertainty; knowledge acquisition, representation and reasoning; logical structures of opposition and logical syllogisms; mathematical fuzzy logics; theoretical and applied aspects of imprecise probabilities; data science and machine learning; decision making modeling and applications; e-health; fuzzy methods in data mining and knowledge discovery; soft computing and artificia intelligence techniques in image processing; soft methods in statistics and data analysis; uncertainty, heterogeneity, reliability and explainability in AI; weak and cautious supervised learning.

Graph Theoretic Approaches for Analyzing Large-Scale Social Networks
Graph Theoretic Approaches for Analyzing Large-Scale Social Networks

Author: Meghanathan, Natarajan

Publisher: IGI Global

Published: 2017-07-13

Total Pages: 376

ISBN-13: 1522528156

DOWNLOAD EBOOK

Social network analysis has created novel opportunities within the field of data science. The complexity of these networks requires new techniques to optimize the extraction of useful information. Graph Theoretic Approaches for Analyzing Large-Scale Social Networks is a pivotal reference source for the latest academic research on emerging algorithms and methods for the analysis of social networks. Highlighting a range of pertinent topics such as influence maximization, probabilistic exploration, and distributed memory, this book is ideally designed for academics, graduate students, professionals, and practitioners actively involved in the field of data science.

Transactions on Rough Sets X
Transactions on Rough Sets X

Author: Mihir Chakraborty

Publisher: Springer Science & Business Media

Published: 2009-07-25

Total Pages: 275

ISBN-13: 3642032818

DOWNLOAD EBOOK

This book, which constitutes the tenth volume of the Transactions on Rough Sets series, focuses on a number of research streams that were either directly or indirectly begun by the seminal work on rough sets by Zdzislaw Pawlak.

Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science

Author: Harrie de Swart

Publisher: Springer Science & Business Media

Published: 2011-05-20

Total Pages: 370

ISBN-13: 3642210694

DOWNLOAD EBOOK

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.

Artificial Intelligence and Soft Computing — ICAISC 2004
Artificial Intelligence and Soft Computing — ICAISC 2004

Author: Leszek Rutkowski

Publisher: Springer Science & Business Media

Published: 2004-06-01

Total Pages: 1233

ISBN-13: 3540221239

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004, held in Zakopane, Poland in June 2004. The 172 revised contributed papers presented together with 17 invited papers were carefully reviewed and selected from 250 submissions. The papers are organized in topical sections on neural networks, fuzzy systems, evolutionary algorithms, rough sets, soft computing in classification, image processing, robotics, multiagent systems, problems in AI, intelligent control, modeling and system identification, medical applications, mechanical applications, and applications in various fields.