LEADER 03728nam  2200661 a 450 
001 9910483038703321
005 20200520144314.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   $a20051223d2006      uy         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 /$fJurgen Dix, Stephen J. Hegner (eds.)
205   $a1st ed. 2006.
210   $aBerlin ;$aNew York $cSpringer$dc2006
215   $a1 online resource (X, 331 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3861
225 1 $aLNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
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$aLecture notes in computer science ;$v3861.
410  0$aLNCS sublibrary.$nSL 3,$pInformation systems and applications, incl. Internet/Web, and HCI.
517 3 $aFoIKS 2006
606   $aComputer systems$vCongresses
606   $aInformation technology$vCongresses
606   $aComputer science$xMathematics$vCongresses
606   $aDatabases$vCongresses
606   $aKnowledge representation (Information theory)$vCongresses
615  0$aComputer systems
615  0$aInformation technology
615  0$aComputer science$xMathematics
615  0$aDatabases
615  0$aKnowledge representation (Information theory)
676   $a004
701   $aDix$b J$g(Jurgen),$f1961-$01754562
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