Overview

Full Product Details

Author:   Sebastian Link ,  Henri Prade
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   5956
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.575kg
ISBN:  

9783642118289

ISBN 10:   3642118283
Pages:   363
Publication Date:   02 March 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions