Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken

Foundations Of Information And Knowledge Systems

4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings

Foundations Of Information And Knowledge Systems - Dix, Jurgen (EDT)/ Hegner, Stephen J. (EDT) - ISBN: 9783540317821
Prijs: € 80,25
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Theoretische informatica
Add to cart


This Book Constitutes The Refereed Proceedings Of The 4th International Symposium On Foundations Of Information And Knowledge Systems, Held In February 2006.


Titel: Foundations Of Information And Knowledge Systems
auteur: Dix, Jurgen (EDT)/ Hegner, Stephen J. (EDT)
Mediatype: Boek
Taal: Engels
Aantal pagina's: 331
Uitgever: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Plaats van publicatie: 04
NUR: Theoretische informatica
Afmetingen: 235 x 155
Gewicht: 524 gr
ISBN/ISBN13: 3540317821
ISBN/ISBN13: 9783540317821
Intern nummer: 6988982


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.


Dit product is op dit moment niet op voorraad in een van onze vestigingen.