E-Book, Englisch, Band 3861, 331 Seiten, eBook
Hegner Foundations of Information and Knowledge Systems
2006
ISBN: 978-3-540-31784-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
E-Book, Englisch, Band 3861, 331 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-31784-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
