Advertisement

Theory and Applications of Relational Structures as Knowledge Instruments II

International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

  • Harrie de Swart
  • Ewa Orłowska
  • Gunther Schmidt
  • Marc Roubens

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4342)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4342)

Table of contents

  1. Front Matter
  2. Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie de Swart
    Pages 1-30
  3. Patrik Eklund, Johan Karlsson, Jan Rauch, Milan Šimůnek
    Pages 50-59
  4. Agnieszka Rusinowska, Harrie de Swart
    Pages 60-88
  5. Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orłowska
    Pages 105-124
  6. Joanna Golińska-Pilarek, Ewa Orłowska
    Pages 125-161
  7. Susanne Saminger, Ulrich Bodenhofer, Erich Peter Klement, Radko Mesiar
    Pages 185-206
  8. Ulrich Bodenhofer, Josef Küng, Susanne Saminger
    Pages 207-228
  9. Ulrich Bodenhofer, Bernard De Baets, János Fodor
    Pages 229-244
  10. Wojciech Dzik, Ewa Orłowska, Clint van Alten
    Pages 245-266
  11. Ivo Düntsch, Ewa Orłowska, Anna Maria Radzikowska
    Pages 267-289
  12. Zdenka Riečanová, Ivica Marinová, Michal Zajac
    Pages 290-317
  13. Domenico Cantone, Calogero G. Zarba
    Pages 318-333
  14. Susanne Saminger, Peter Sarkoci, Bernard De Baets
    Pages 334-354
  15. Michel Grabisch
    Pages 355-371
  16. Back Matter

About these proceedings

Introduction

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledge Instruments. Relational structures abound in the daily environment: relational databases, data-mining, scaling procedures, preference relations, etc. Reasoning about, and with, relations has a long-standing European tradition, which may be divided into three broad areas: 1. Algebraic Logic: algebras of relations, relational semantics, and algebras and logics derived from information systems. 2. Computational Aspects of Automated Relational Reasoning: decidability and complexity of algorithms, network satisfaction. 3. Applications: social choice, AI, linguistics, psychology, economics, etc. The main objective of the ?rst TARSKI book (LNCS 2929) was to advance the understanding of relational structures and the use of relational methods in applicable object domains. There were the following sub-objectives: 1. Tostudythesemanticalandsyntacticalaspectsofrelationalstructuresarising from ‘real world’ situations 2. To investigateautomatedinference for relationalsystems, and, wherepossible or feasible, develop deductive systems which can be implemented into industrial applications, such as diagnostic systems 3. To develop non-invasive scaling methods for predicting relational data 4. To make software for dealing with relational systems commonly available We are con?dent that the present book will further the understanding of int- disciplinary issues involving relational reasoning. This book consists of papers which give a clear and self-contained overview of the results obtained by the TARSKI action, typically obtained by di?erent persons from di?erent work - eas.

Keywords

Fuzzy algebraic logic data analysis formal languages formal methods fuzzy relations knowledge discovery knowledge processing lattices logic mathematical logics modal logics model checking multirelational data mining multirelations

Editors and affiliations

  • Harrie de Swart
    • 1
  • Ewa Orłowska
    • 2
  • Gunther Schmidt
    • 3
  • Marc Roubens
    • 4
  1. 1.Faculty of PhilosophyTilburg UniversityTilburgThe Netherlands
  2. 2.National Institute of TelecommunicationsWarsaw 
  3. 3.Institute for Software Technology, Department of Computing ScienceUniversität der Bundeswehr MünchenNeubibergGermany
  4. 4.Faculté Polytechnique de MonsMonsBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/11964810
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69223-2
  • Online ISBN 978-3-540-69224-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site