Foundations of Information and Knowledge Systems [electronic resource] :4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings /
Contributor(s): Dix, Jürgen [editor.] | Hegner, Stephen J [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 3861Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: X, 331 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540317845.Subject(s): 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)Online resources: Click here to access online
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.