Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers (Q1418483)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael}, RelView and Rath -- two systems for dealing with relations., 1-16 [Zbl 1203.68319] \textit{Hájek, Petr; Holeňa, Martin; Rauch, Jan}, The GUHA method and foundations of (relational) data mining., 17-37 [Zbl 1203.68150] \textit{Schmidt, Renate A.; Hustadt, Ullrich}, Mechanised reasoning and model generation for extended modal logics., 38-67 [Zbl 1203.03020] \textit{Schmidt, Gunther}, Theory extraction in relational data analysis., 68-86 [Zbl 1203.68195] \textit{Caianiello, Pasquale; Costantini, Stefania; Omodeo, Eugenio G.}, An environment for specifying properties of dyadic relations and reasoning about them. I: Language extension mechanisms, 87-106 [Zbl 1175.68433] \textit{Cao-Van, Kim; De Baets, Bernard}, Consistent representation of rankings., 107-123 [Zbl 1203.68141] \textit{Rusinowska, Agnieszka}, Axiomatic and strategic approaches to bargaining problems., 124-146 [Zbl 1203.91104] \textit{de Swart, Harrie; van Deemen, Ad; van der Hout, Eliora; Kop, Peter}, Categoric and ordinal voting: An overview., 147-195 [Zbl 1203.91067] \textit{Buszkowski, Wojciech}, Relational models of Lambek logics., 196-213 [Zbl 1203.03029] \textit{Düntsch, Ivo; Gediga, Günther}, Approximation operators in qualitative data analysis., 214-230 [Zbl 1203.68193] \textit{Düntsch, Ivo; Orłowska, Ewa; Radzikowska, Anna Maria}, Lattice-based relation algebras and their representability., 231-255 [Zbl 1175.03041] \textit{Rewitzky, Ingrid}, Binary multirelations., 256-271 [Zbl 1203.68035]