Foundations of Information and Knowledge Systems

6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

  • Sebastian Link
  • Henri Prade
Conference proceedings FoIKS 2010

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

Table of contents

  1. Front Matter
    Pages I-XII
    PDF

  2. Invited Talks

    1. Tools and Techniques in Qualitative Reasoning about Space
      Philippe Balbiani
      Pages 1-2
    2. A Simple but Formal Semantics for XML Manipulation Languages
      Jan Paredaens, Jan Hidders
      Pages 3-5
    3. Algorithmic Definability and Completeness in Modal Logic
      Dimiter Vakarelov
      Pages 6-8

  3. Regular Articles

    1. A Probabilistic Temporal Logic That Can Model Reasoning about Evidence
      Dragan Doder, Zoran Marković, Zoran Ognjanović, Aleksandar Perović, Miodrag Rašković
      Pages 9-24
    2. An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games
      Helena Keinänen
      Pages 25-39
    3. Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting
      Ali Kiani, Nematollaah Shiri
      Pages 40-57
    4. Enhancing Dung’s Preferred Semantics
      Zhihu Zhang, Zuoquan Lin
      Pages 58-75
    5. On the Distance of Databases
      Gyula O. H. Katona, Anita Keszler, Attila Sali
      Pages 76-93
    6. On the Existence of Armstrong Data Trees for XML Functional Dependencies
      Sven Hartmann, Henning Köhler, Thu Trinh
      Pages 94-113
    7. Polymorphism in Datalog and Inheritance in a Metamodel
      Paolo Atzeni, Giorgio Gianforme, Daniele Toti
      Pages 114-132
    8. Possibilistic Semantics for Logic Programs with Ordered Disjunction
      Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda
      Pages 133-152
    9. Semantic Web Search Based on Ontological Conjunctive Queries
      Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz
      Pages 153-172
    10. Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework
      M. Julieta Marcos, Marcelo A. Falappa, Guillermo R. Simari
      Pages 173-190
    11. The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics
      Christoph Beierle, Gabriele Kern-Isberner
      Pages 191-210
    12. Theoretical Foundations for Enabling a Web of Knowledge
      David W. Embley, Andrew Zitzelberger
      Pages 211-229
    13. Towards Controlled Query Evaluation for Incomplete First-Order Databases
      Joachim Biskup, Cornelia Tadros, Lena Wiese
      Pages 230-247
    14. Bagging Decision Trees on Data Sets with Classification Noise
      Joaquín Abellán, Andrés R. Masegosa
      Pages 248-265
    15. Evolving Schemas for Streaming XML
      Maryam Shoaran, Alex Thomo
      Pages 266-285
    16. ONTO-EVOAL an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation
      Rim Djedidi, Marie-Aude Aufaure
      Pages 286-305

About these proceedings

Keywords

Lattice Semantic Web classification data mining databases decision tree description logic discrete mathematics formal models information theory logic logic programming model theory modeling programming languages

Editors and affiliations

  • Sebastian Link
    • 1
  • Henri Prade
    • 2
  1. 1.School of Information ManagementThe Victoria University of WellingtonWellingtonNew Zealand
  2. 2.IRITUniversity of Toulouse IIIToulouse, Cedex 9France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-11829-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11828-9
  • Online ISBN 978-3-642-11829-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site