06367nam 22008415 450 991014420810332120200701201553.01-280-30684-X97866103068483-540-24627-410.1007/b95342(CKB)1000000000212299(DE-He213)978-3-540-24627-5(SSID)ssj0000157541(PQKBManifestationID)11149666(PQKBTitleCode)TC0000157541(PQKBWorkID)10139067(PQKB)10254772(MiAaPQ)EBC3088876(PPN)155197126(EXLCZ)99100000000021229920121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFoundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /edited by Dietmar Seipel, Jose M. Turull-Torres1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (X, 324 p.) Lecture Notes in Computer Science,0302-9743 ;2942Bibliographic Level Mode of Issuance: Monograph3-540-20965-4 Includes bibliographical references at the end of each chapters and index.Invited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra.This volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004),whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series Mathematical Fun- mentals of Database Systems (MFDBS) which enabled East–West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000, and the second FoIKS symposium was held in SalzauCastle(Germany)in2002.FormerMFDBSconferenceswereheldinDr- den (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, 1762, and 2284 of the LNCS series, respectively. In addition the FoIKS symposium was intended to be a forum for intensive discussions. For this reason the time slots for long and short contributions were 50 and 30 minutes, respectively, followed by 20 and 10 minutes for discussions, respectively. Furthermore, participants were asked in advance to prepare to act as correspondents for the contributions of other authors. There were also special sessions for the presentation and discussion of open research problems.Lecture Notes in Computer Science,0302-9743 ;2942ComputersDatabase managementComputer logicComputer science—MathematicsInformation storage and retrievalUser interfaces (Computer systems)Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Computers.Database management.Computer logic.Computer science—Mathematics.Information storage and retrieval.User interfaces (Computer systems).Theory of Computation.Database Management.Logics and Meanings of Programs.Discrete Mathematics in Computer Science.Information Storage and Retrieval.User Interfaces and Human Computer Interaction.004Seipel Dietmaredthttp://id.loc.gov/vocabulary/relators/edtTurull-Torres Jose Medthttp://id.loc.gov/vocabulary/relators/edtFoIKS 2004MiAaPQMiAaPQMiAaPQBOOK9910144208103321Foundations of Information and Knowledge Systems2899609UNINA