Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings: 5956 - Brossura

Brossura

ISBN 10: 3642118283 ISBN 13: 9783642118289

Casa editrice: Springer, 2010

Riassunto

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying light cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.

The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes

More recently, several color-cover sublines have been added featuring, beyond a collection of papers, various added-value components; these sublines include

In parallel to the printed book, each new volume is published electronically in LNCS Online.

Detailed information on LNCS can be found at www.springer.com/lncs

Proposals for publication should be sent to LNCS Editorial, Tiergartenstr.17,69121 Heidelberg, Germany E-mail: Incs@springer.com

Su questo libro

Contenuti

Invited Talks.- Tools and Techniques in Qualitative Reasoning about Space.- A Simple but Formal Semantics for XML Manipulation Languages.- Algorithmic Definability and Completeness in Modal Logic.- Regular Articles.- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games.- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting.- Enhancing Dung’s Preferred Semantics.- On the Distance of Databases.- On the Existence of Armstrong Data Trees for XML Functional Dependencies.- Polymorphism in Datalog and Inheritance in a Metamodel.- Possibilistic Semantics for Logic Programs with Ordered Disjunction.- Semantic Web Search Based on Ontological Conjunctive Queries.- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework.- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.- Theoretical Foundations for Enabling a Web of Knowledge.- Towards Controlled Query Evaluation for Incomplete First-Order Databases.- Bagging Decision Trees on Data Sets with Classification Noise.- Evolving Schemas for Streaming XML.- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation.- Towards a Paradoxical Description Logic for the Semantic Web.- Towards a Unified Model of Preference-Based Argumentation.- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 3642118283
• ISBN 13: 9783642118289
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 376
• Redattore: Link Sebastian
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania