Foundations of Information and Knowledge Systems [[electronic resource] ] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / / edited by Stephen J. Hegner

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (X, 331 p.)
• Disciplina: 004
• Soggetto topico: Database management; Computer logic; Computer science—Mathematics; Information storage and retrieval; User interfaces (Computer systems); Artificial intelligence; Database Management; Logics and Meanings of Programs; Discrete Mathematics in Computer Science; Information Storage and Retrieval; User Interfaces and Human Computer Interaction; Artificial Intelligence
• Persona (resp. second.): HegnerStephen J
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Foundations of Information and Knowledge Systems
• ISBN: 3-540-31784-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466165103316
• Lo trovi qui: Univ. di Salerno
• Serie: Information Systems and Applications, incl. Internet/Web, and HCI ; ; 3861