TY  - BOOK
AU  - Dix,Jürgen
AU  - Hegner,Stephen J.
ED  - SpringerLink (Online service)
TI  - Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540317845
AV  - QA76.9.D3 
U1  - 005.74 23
PY  - 2006///
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 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
UR  - http://dx.doi.org/10.1007/11663881
ER  -