Foundations of Information and Knowledge Systems [electronic resource] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /

Invited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra.