Description |
1 online resource (ix, 362 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 5956 |
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI |
|
Lecture notes in computer science ; 5956.
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
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 |
Analysis |
wiskunde |
|
mathematics |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
computerwetenschappen |
|
computer sciences |
|
logica |
|
logic |
|
computerwiskunde |
|
computational mathematics |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Computer systems -- Congresses
|
|
Information technology -- Congresses
|
|
Informatique.
|
|
Computer systems
|
|
Information technology
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Link, Sebastian
|
|
Prade, Henri M
|
LC no. |
2010920282 |
ISBN |
9783642118296 |
|
3642118291 |
|
3642118283 |
|
9783642118289 |
|