Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: Coopération européenne dans le domaine de la recherche scientifique et technique. Action 274 (Director editorial)
Altres autors: Swart, Henricus Cornelius Maria de, 1944- (Director editorial), Schmidt, Gunther, 1939- (Director editorial), Orłowska, Ewa, 1935- (Director editorial)
Format: Livre numérique
Idioma:Anglais
Publicat: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Col·lecció:Lecture notes in computer science 2929
Matèries:
Informatique
Intelligence artificielle
Logique symbolique et mathématique
Théorèmes > Démonstration automatique
Raisonnement
Relationnisme
Accés en línia:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Theory and applications of relational structures as knowledge instruments, COST Action 274, TARSKI, revised papers, Harrie de Swart, Ewa Orlowska, Gunther Schmidt... [et al.] (eds.), Berlin, Springer, 2003, 1 vol. (VI-271 p.), Lecture notes in computer science, 3-540-20780-5
• Theory and Applications of Relational Structures as Knowledge Instruments, Texte imprimé, 9783662197448
Taula de continguts:
  • RelView 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.

Ítems similars