Limit search to available items
Record 12 of 30
Previous Record Next Record
Book Cover
E-book
Author FoIKS 2006 (2006 : Budapest, Hungary)

Title Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 ; proceedings / Jürgen Dix, Stephen J. Hegner (eds.)
Published Berlin ; New York : Springer, 2006
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (x, 330 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3861
Lecture notes in computer science ; 3861. 0302-9743
Contents 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
Analysis Knowledge systems
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer systems -- Congresses.
Information technology -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Dix, J. (Jürgen), 1961-
Hegner, Stephen J.
LC no. 2005939041
ISBN 9783540317845
3540317848
3540317821
9783540317821
Other Titles FoIKS 2006