Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

This book constitutes the refereed proceedings of the Third International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2004 held at Wilheminenburg Castle, Austria in February 2004.

The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 64 submissions. Among the topics covered are data integration, data security, logic programming and databases, relational reasoning, database queries, higher-order data models, updates, database views, OLAP, belief modeling, fixpoint computations, interaction schemes, plan databases, etc.

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.