Custom cover image
Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings / edited by Sebastian Link, Henri Prade
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 5956Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (370p. 59 illus, digital)ISBN:- 9783642118296
- Informationssystem
- Wissensbasiertes System
- Datenbankentwurf
- Formale Methode
- World Wide Web
- Datenbanksystem
- Verteilte künstliche Intelligenz
- Wissenstechnik
- Data Mining
- Wissensextraktion
- Computer Science
- Machine theory
- Discrete mathematics
- Algorithms
- Computer science
- Computer software
- Logic design
- Computational complexity
- Artificial intelligence
- Computer systems
- Information technology
- 005.131
- 004.0151 23
- 004
- 004
- QA8.9-QA10.3
- QA75.5
Contents:
Summary: 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.PPN: PPN: 1649988400Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB | ZDB-2-LNC
""Title Page""; ""Preface""; ""Organization""; ""Table of Contents""; ""Invited Talks""; ""Tools and Techniques in Qualitative Reasoning about Space""; ""References""; ""A Simple but Formal Semantics for XML Manipulation Languages""; ""Algorithmic Definability and Completeness in Modal Logic""; ""References""; ""Regular Articles""; ""A Probabilistic Temporal Logic That Can Model Reasoning about Evidence""; ""Introduction""; ""Preliminaries""; ""Logic for Reasoning about Evidence, Prior and Posterior Probabilities""; ""Syntax and Semantics""; ""Axiomatization""; ""Completeness""
""Temporal Logic That Can Reason about Evidence""""Syntax, Semantics and Axiomatization""; ""Completeness""; ""Conclusion""; ""References""; ""An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games""; ""Introduction""; ""Hedonic Games""; ""Properties of Hedonic Games""; ""Algorithm for Generating Nash Stable Coalition Structures""; ""Experimental Results""; ""Benchmarks and Setup""; ""Benchmark Analysis""; ""Results""; ""Conclusions""; ""References""; ""Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting""; ""Introduction""
""Containment of Queries with Constraints""""Containment of CLAC Queries""; ""Importance of Homomorphism Property""; ""Classes of Queries with Homomorphism Property""; ""Conjunctive Queries with Equality Constraints""; ""Homomorphism Property and Conjunctive Queries with Arithmetic Comparison""; ""More AC Queries with Homomorphism Property""; ""Homomorphism Property and Conjunctive Queries with Equality Constraint and Arithmetic Comparison""; ""Query Rewriting for CLAC Queries with Homomorphism Property""; ""Rewriting Steps""; ""Discussion""; ""Conclusion and Future Work""; ""References""
""Enhancing Dung�s Preferred Semantics""""Introduction""; ""Preliminaries""; ""Enhancing Dung's Preferred Semantics""; ""Defining the Acceptability of Arguments""; ""Defining Admissible Semantics""; ""Defining Enhanced Preferred Semantics""; ""The Intuition of Enhanced Preferred Semantics""; ""Relationships with Dung's Preferred Semantics""; ""Comparisons with Other Approaches""; ""Conclusions and Future Works""; ""References""; ""On the Distance of Databases""; ""Introduction""; ""Poset of Closures""; ""Diameter of Collection of Databases with the Same Set of Minimal Keys""
""Unique Minimal Key""""Upper Bound for Non-uniform Minimal Key System""; ""Uniform Minimal Key Systems""; ""Conclusions, Further Research""; ""References""; ""Appendix""; ""On the Existence of Armstrong Data Trees for XML Functional Dependencies""; ""Introduction""; ""Preliminaries""; ""Functional Dependencies for XML""; ""Reasoning about XFDs""; ""Characterising Armstrong Data Trees""; ""Existence of Armstrong Data Trees""; ""Conclusion""; ""References""; ""Polymorphism in Datalog and Inheritance in a Metamodel""; ""Introduction""; ""Related Work""; ""MIDST Framework""
""Refactoring the Data Model""
No physical items for this record