Rudolf Berghammer, Gunther Schmidt (auth.), Harrie de Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens (eds.)3540207805, 9783540207801, 9783540246152
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.
Table of contents :
Front Matter….Pages –
RelView and Rath – Two Systems for Dealing with Relations….Pages 1-16
The GUHA Method and Foundations of (Relational) Data Mining….Pages 17-37
Mechanised Reasoning and Model Generation for Extended Modal Logics….Pages 38-67
Theory Extraction in Relational Data Analysis….Pages 68-86
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them I: Language Extension Mechanisms….Pages 87-106
Consistent Representation of Rankings….Pages 107-123
Axiomatic and Strategic Approaches to Bargaining Problems….Pages 124-146
Categoric and Ordinal Voting: An Overview….Pages 147-195
Relational Models of Lambek Logics….Pages 196-213
Approximation Operators in Qualitative Data Analysis….Pages 214-230
Lattice–Based Relation Algebras and Their Representability….Pages 231-255
Binary Multirelations….Pages 256-271
Back Matter….Pages –
Reviews
There are no reviews yet.