TY  - BOOK
AU  - Seipel,Dietmar
AU  - Turull-Torres,José María
ED  - SpringerLink (Online service)
TI  - Foundations of Information and Knowledge Systems: Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540246275
AV  - QA76.9.D3 
U1  - 005.74 23
PY  - 2004///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Logic design
KW  - Computational complexity
KW  - Database management
KW  - Information storage and retrieval systems
KW  - Artificial intelligence
KW  - Computer Science
KW  - Database Management
KW  - Logics and Meanings of Programs
KW  - Discrete Mathematics in Computer Science
KW  - Information Storage and Retrieval
KW  - User Interfaces and Human Computer Interaction
KW  - Artificial Intelligence (incl. Robotics)
N1  - 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
UR  - http://dx.doi.org/10.1007/b95342
ER  -