03728nam 2200661 a 450 991048303870332120200520144314.03-540-31784-810.1007/11663881(CKB)1000000000232799(SSID)ssj0000317764(PQKBManifestationID)11267322(PQKBTitleCode)TC0000317764(PQKBWorkID)10293677(PQKB)10946892(DE-He213)978-3-540-31784-5(MiAaPQ)EBC3067527(PPN)123131081(EXLCZ)99100000000023279920051223d2006 uy 0engurnn#008mamaatxtccrFoundations of information and knowledge systems 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings /Jurgen Dix, Stephen J. Hegner (eds.)1st ed. 2006.Berlin ;New York Springerc20061 online resource (X, 331 p.)Lecture notes in computer science,0302-9743 ;3861LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCIBibliographic Level Mode of Issuance: Monograph3-540-31782-1 Includes bibliographical references and index.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.Lecture notes in computer science ;3861.LNCS sublibrary.SL 3,Information systems and applications, incl. Internet/Web, and HCI.FoIKS 2006Computer systemsCongressesInformation technologyCongressesComputer scienceMathematicsCongressesDatabasesCongressesKnowledge representation (Information theory)CongressesComputer systemsInformation technologyComputer scienceMathematicsDatabasesKnowledge representation (Information theory)004Dix J(Jurgen),1961-1754562Hegner Stephen J1754563MiAaPQMiAaPQMiAaPQBOOK9910483038703321Foundations of information and knowledge systems4190993UNINA