LEADER 04760nam 22008175 450 001 996465907703316 005 20200701051929.0 010 $a1-280-30665-3 010 $a9786610306657 010 $a3-540-24615-0 024 7 $a10.1007/b94817 035 $a(CKB)1000000000212279 035 $a(SSID)ssj0000258076 035 $a(PQKBManifestationID)11244411 035 $a(PQKBTitleCode)TC0000258076 035 $a(PQKBWorkID)10254653 035 $a(PQKB)10867044 035 $a(DE-He213)978-3-540-24615-2 035 $a(MiAaPQ)EBC3087919 035 $a(PPN)155223844 035 $a(EXLCZ)991000000000212279 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Applications of Relational Structures as Knowledge Instruments$b[electronic resource] $eCOST Action 274, TARSKI, Revised Papers /$fedited by Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VIII, 280 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2929 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20780-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aRelView and Rath ? Two Systems for Dealing with Relations -- The GUHA Method and Foundations of (Relational) Data Mining -- Mechanised Reasoning and Model Generation for Extended Modal Logics -- Theory Extraction in Relational Data Analysis -- An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them I: Language Extension Mechanisms -- Consistent Representation of Rankings -- Axiomatic and Strategic Approaches to Bargaining Problems -- Categoric and Ordinal Voting: An Overview -- Relational Models of Lambek Logics -- Approximation Operators in Qualitative Data Analysis -- Lattice?Based Relation Algebras and Their Representability -- Binary Multirelations. 330 $aRelational 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2929 606 $aComputer programming 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aDatabase management 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer programming. 615 0$aComputer science?Mathematics. 615 0$aMathematical logic. 615 0$aDatabase management. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aMathematical Logic and Formal Languages. 615 24$aDatabase Management. 615 24$aArtificial Intelligence. 676 $a004 702 $aSwart$b Harrie de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrlowska$b Ewa$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchmidt$b Gunther$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoubens$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Cooperation in the Field of Scientific and Technical Research (Organization).$bCOST Action 274 TARSKI (Project) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465907703316 996 $aTheory and Applications of Relational Structures as Knowledge Instruments$91935454 997 $aUNISA