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
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
