LEADER 05123nam 22008775 450 001 9910483038703321 005 20251226203541.0 010 $a3-540-31784-8 024 7 $a10.1007/11663881 035 $a(CKB)1000000000232799 035 $a(SSID)ssj0000317764 035 $a(PQKBManifestationID)11267322 035 $a(PQKBTitleCode)TC0000317764 035 $a(PQKBWorkID)10293677 035 $a(PQKB)10946892 035 $a(DE-He213)978-3-540-31784-5 035 $a(MiAaPQ)EBC3067527 035 $a(PPN)123131081 035 $a(BIP)32374151 035 $a(BIP)13248049 035 $a(EXLCZ)991000000000232799 100 $a20100419d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $e4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings /$fedited by Stephen J. Hegner 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 331 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3861 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-31782-1 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3861 606 $aDatabase management 606 $aComputer science 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aInformation storage and retrieval systems 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aArtificial intelligence 606 $aDatabase Management 606 $aComputer Science Logic and Foundations of Programming 606 $aDiscrete Mathematics in Computer Science 606 $aInformation Storage and Retrieval 606 $aUser Interfaces and Human Computer Interaction 606 $aArtificial Intelligence 615 0$aDatabase management. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aInformation storage and retrieval systems. 615 0$aUser interfaces (Computer systems) 615 0$aHuman-computer interaction. 615 0$aArtificial intelligence. 615 14$aDatabase Management. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aInformation Storage and Retrieval. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aArtificial Intelligence. 676 $a004 701 $aDix$b J$g(Ju?rgen),$f1961-$00 701 $aHegner$b Stephen J$01754563 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483038703321 996 $aFoundations of information and knowledge systems$94190993 997 $aUNINA