Muutke küpsiste eelistusi

Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 363 pages, kõrgus x laius: 235x155 mm, kaal: 575 g, 58 Illustrations, black and white; XII, 363 p. 58 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 5956
  • Ilmumisaeg: 02-Mar-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642118283
  • ISBN-13: 9783642118289
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 363 pages, kõrgus x laius: 235x155 mm, kaal: 575 g, 58 Illustrations, black and white; XII, 363 p. 58 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 5956
  • Ilmumisaeg: 02-Mar-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642118283
  • ISBN-13: 9783642118289
This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So a, Bulgaria during February 15-19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the ? eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.
Invited Talks
Tools and Techniques in Qualitative Reasoning about Space
1(2)
Philippe Balbiani
A Simple but Formal Semantics for XML Manipulation Languages
3(3)
Jan Paredaens
Jan Hidders
Algorithmic Definability and Completeness in Modal Logic (Extended Abstract)
6(3)
Dimiter Vakarelov
Regular Articles
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence
9(16)
Dragan Doder
Zoran Markovic
Zoran Ognjanovic
Aleksandar Perovic
Miodrag Raskovic
An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games
25(15)
Helena Keinanen
Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting
40(18)
Ali Kiani
Nematollaah Shiri
Enhancing Dung's Preferred Semantics
58(18)
Zhihu Zhang
Zuoquan Lin
On the Distance of Databases
76(18)
Gyula O.H. Katona
Anita Keszler
Attila Sali
On the Existence of Armstrong Data Trees for XML Functional Dependencies
94(20)
Sven Hartmann
Henning Kohler
Thu Trinh
Polymorphism in Datalog and Inheritance in a Metamodel
114(19)
Paolo Atzeni
Giorgio Gianforme
Daniele Toti
Possibilistic Semantics for Logic Programs with Ordered Disjunction
133(20)
Roberto Confalonieri
Juan Carlos Nieves
Mauricio Osorio
Javier Vazquez-Salceda
Semantic Web Search Based on Ontological Conjunctive Queries
153(20)
Bettina Fazzinga
Giorgio Gianforme
Georg Gottlob
Thomas Lukasiewicz
Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework
173(18)
M. Julieta Marcos
Marcelo A. Falappa
Guillermo R. Simari
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics
191(20)
Christoph Beierle
Gabriele Kern-Isberner
Theoretical Foundations for Enabling a Web of Knowledge
211(19)
David W. Embley
Andrew Zitzelberger
Towards Controlled Query Evaluation for Incomplete First-Order Databases
230(18)
Joachim Biskup
Cornelia Tadros
Lena Wiese
Bagging Decision Trees on Data Sets with Classification Noise
248(18)
Joaquin Abellan
Andres R. Masegosa
Evolving Schemas for Streaming XML
266(20)
Maryam Shoaran
Alex Thomo
ONTO - EVOAL an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation
286(20)
Rim Djedidi
Marie-Aude Aufaure
Towards a Paradoxical Description Logic for the Semantic Web
306(20)
Xiaowang Zhang
Zuoquan Lin
Kewen Wang
Towards a Unified Model of Preference-Based Argumentation
326(19)
Jean-Remi Bourguet
Leila Amgoud
Rallou Thomopoulos
Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data
345(18)
Mehdi Kaytoue
Zainab Assaghir
Nizar Messai
Amedeo Napoli
Author Index 363