Vai al contenuto principale della pagina
Titolo: | Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings / / Jurgen Dix, Stephen J. Hegner (eds.) |
Pubblicazione: | Berlin ; ; New York, : Springer, c2006 |
Edizione: | 1st ed. 2006. |
Descrizione fisica: | 1 online resource (X, 331 p.) |
Disciplina: | 004 |
Soggetto topico: | Computer systems |
Information technology | |
Computer science - Mathematics | |
Databases | |
Knowledge representation (Information theory) | |
Altri autori: | DixJ <1961-> (Jurgen) 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. |
Altri titoli varianti: | FoIKS 2006 |
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.: | 9910483038703321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |