×

zbMATH — the first resource for mathematics

Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. (English) Zbl 1029.00017
Lecture Notes in Computer Science. 2929. Berlin: Springer. vii, 273 p. EUR 42.00/net; $ 54.00; £32.50; sFr 72.00 (2003).

Show indexed articles as search result.

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

MSC:
00B15 Collections of articles of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T30 Knowledge representation
03B70 Logic in computer science
Software:
Ralf
PDF BibTeX XML Cite
Full Text: Link