Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dix, Jürgen (Editor), Hegner, Stephen J. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3861
• Subjects: Computer science.; Computer logic.; Computer science > Mathematics.; Database management.; Information storage and retrieval.; User interfaces (Computer systems).; Artificial intelligence.; Computer Science.; Database Management.; Logics and Meanings of Programs.; Discrete Mathematics in Computer Science.; Information Storage and Retrieval.; User Interfaces and Human Computer Interaction.; Artificial Intelligence (incl. Robotics).

Table of Contents:

• Invited Presentation
• The Semijoin Algebra
• Regular Papers
• Equational Constraint Solving Via a Restricted Form of Universal Quantification
• Modeling the Evolution of Objects in Temporal Information Systems
• Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel
• Iterative Modification and Incremental Evaluation of Preference Queries
• On the Number of Independent Functional Dependencies
• Arity and Alternation: A Proper Hierarchy in Higher Order Logics
• Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results
• The Nested List Normal Form for Functional and Multivalued Dependencies
• Axiomatising Functional Dependencies for XML with Frequencies
• Guarded Open Answer Set Programming with Generalized Literals
• Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
• Consistency Checking Algorithms for Restricted UML Class Diagrams
• Some Contributions to the Minimum Representation Problem of Key Systems
• On Multivalued Dependencies in Fixed and Undetermined Universes
• Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context
• Processing Ranked Queries with the Minimum Space
• Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm.