Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /

This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.

Saved in:
Bibliographic Details
Main Authors: Eiter, Thomas. editor., Schewe, Klaus-Dieter. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002
Subjects:Computer science., Data structures (Computer science)., Database management., Information storage and retrieval., Artificial intelligence., Computer engineering., Computer Science., Database Management., Data Structures, Cryptology and Information Theory., Computer Engineering., Information Storage and Retrieval., Information Systems Applications (incl. Internet)., Artificial Intelligence (incl. Robotics).,
Online Access:http://dx.doi.org/10.1007/3-540-45758-5
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:221395
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer engineering.
Computer Science.
Database Management.
Data Structures, Cryptology and Information Theory.
Computer Engineering.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Artificial Intelligence (incl. Robotics).
Computer science.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer engineering.
Computer Science.
Database Management.
Data Structures, Cryptology and Information Theory.
Computer Engineering.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Artificial Intelligence (incl. Robotics).
spellingShingle Computer science.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer engineering.
Computer Science.
Database Management.
Data Structures, Cryptology and Information Theory.
Computer Engineering.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Artificial Intelligence (incl. Robotics).
Computer science.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer engineering.
Computer Science.
Database Management.
Data Structures, Cryptology and Information Theory.
Computer Engineering.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Artificial Intelligence (incl. Robotics).
Eiter, Thomas. editor.
Schewe, Klaus-Dieter. editor.
SpringerLink (Online service)
Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
description This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.
format Texto
topic_facet Computer science.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer engineering.
Computer Science.
Database Management.
Data Structures, Cryptology and Information Theory.
Computer Engineering.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Artificial Intelligence (incl. Robotics).
author Eiter, Thomas. editor.
Schewe, Klaus-Dieter. editor.
SpringerLink (Online service)
author_facet Eiter, Thomas. editor.
Schewe, Klaus-Dieter. editor.
SpringerLink (Online service)
author_sort Eiter, Thomas. editor.
title Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
title_short Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
title_full Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
title_fullStr Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
title_full_unstemmed Foundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /
title_sort foundations of information and knowledge systems [electronic resource] : second international symposium, foiks 2002 salzau castle, germany, february 20–23, 2002 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 2002
url http://dx.doi.org/10.1007/3-540-45758-5
work_keys_str_mv AT eiterthomaseditor foundationsofinformationandknowledgesystemselectronicresourcesecondinternationalsymposiumfoiks2002salzaucastlegermanyfebruary20232002proceedings
AT scheweklausdietereditor foundationsofinformationandknowledgesystemselectronicresourcesecondinternationalsymposiumfoiks2002salzaucastlegermanyfebruary20232002proceedings
AT springerlinkonlineservice foundationsofinformationandknowledgesystemselectronicresourcesecondinternationalsymposiumfoiks2002salzaucastlegermanyfebruary20232002proceedings
_version_ 1756270294292496384
spelling KOHA-OAI-TEST:2213952018-07-30T23:59:21ZFoundations of Information and Knowledge Systems [electronic resource] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings / Eiter, Thomas. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2002.engThis volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.Modeling Paraconsistent Reasoning by Classical Logic -- Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations -- Controlled Query Evaluation for Known Policies by Combining Lying and Refusal -- A Logical Framework for Integrating Inconsistent Information in Multiple Databases -- Functional Dependencies in Presence of Errors -- A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic -- The Principle of Conditional Preservation in Belief Revision -- Query Rewriting with Symmetric Constraints -- A Privacy-Enhanced Microaggregation Method -- Towards a Tailored Theory of Consistency Enforcement in Databases -- Improving Supervised Learning by Feature Decomposition -- Extremal Theorems for Databases -- Relational Databases and Homogeneity in Logics with Counting -- Uniqueness of Update Strategies for Database Views -- Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects -- Minimal Sample Databases for Global Cardinality Constraints.This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.Computer science.Data structures (Computer science).Database management.Information storage and retrieval.Artificial intelligence.Computer engineering.Computer Science.Database Management.Data Structures, Cryptology and Information Theory.Computer Engineering.Information Storage and Retrieval.Information Systems Applications (incl. Internet).Artificial Intelligence (incl. Robotics).Springer eBookshttp://dx.doi.org/10.1007/3-540-45758-5URN:ISBN:9783540457589