Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
type: Item
instance of: scholarly article
title: Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
zbMATH Open document ID: 1029.00017
published in: Lecture Notes in Computer Science
publication date: 2004-01-13T00:00:00Z
full work available at URL: t2929.htm
review text: 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]
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 2026123
zbMATH Keywords: Relational structures
zbMATH Keywords: Knowledge instruments
zbMATH Keywords: COST Action 274
zbMATH Keywords: TARSKI
describes a project that uses: Ralf
MaRDI profile type: Publication
OpenAlex ID: W4230228281
DOI: 10.1007/B94817
Recommended article: Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
Recommended article: Special issue on knowledge structures: theoretical developments and applications
Recommended article: Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers
Recommended article: New foundations for a relational theory of theory-revision
Recommended article: Q4440786
Recommended article: Relational Attribute Systems II: Reasoning with Relations in Information Structures
Recommended article: Q3820049
Recommended article: Q5717094
Recommended article: Relational cost analysis in a functional-imperative setting
description: scientific article; zbMATH DE number 2026123