LEADER 04607nam 22007455 450 001 996466165103316 005 20200704113209.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(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$b[electronic resource] $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 ;$v3861 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v3861 606 $aDatabase management 606 $aComputer logic 606 $aComputer science?Mathematics 606 $aInformation storage and retrieval 606 $aUser interfaces (Computer systems) 606 $aArtificial intelligence 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aDatabase management. 615 0$aComputer logic. 615 0$aComputer science?Mathematics. 615 0$aInformation storage and retrieval. 615 0$aUser interfaces (Computer systems). 615 0$aArtificial intelligence. 615 14$aDatabase Management. 615 24$aLogics and Meanings of Programs. 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 702 $aHegner$b Stephen J$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466165103316 996 $aFoundations of Information and Knowledge Systems$9774287 997 $aUNISA