出版時間:2004-2 出版社:北京燕山出版社 作者:Swart, Harrie De; Orlowska, Ewa; Schmidt, Gunther 頁數(shù):270
內(nèi)容概要
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.
書籍目錄
RELVIEW and RATH - Two Systems for Dealing with RelationsThe GUHA Method and Foundations of (Relational) Data MiningMechanised Reasoning and Model Generationfor Extended Modal LogicsTheory Extraction in Relational Data AnalysisAn Environment for Specifying Properties of Dyadic Relationsand Reasoning about Them. I: Language Extension MechanismsConsistent Representation of RankingsAxiomatic and Strategic Approaches to Bargaining ProblemsCategoric and Ordinal Voting: An OverviewRelational Models of Lambek LogicsApproximation Operators in Qualitative Data AnalysisLattice-Based Relation Algebras and Their RepresentabilityBinary MultirelationsAuthor Index
圖書封面
評論、評分、閱讀與下載