LEADER 01174cam0-22004331i-450- 001 990006819330403321 005 20060301134500.0 010 $a88-348-5081-5 035 $a000681933 035 $aFED01000681933 035 $a(Aleph)000681933FED01 035 $a000681933 100 $a20010426d1995----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aComunità e Unione europea$etrattati istitutivi$fBruno Nascimbene 205 $a2. ed. 210 $aTorino$cGiappichelli$d1995 215 $a298 p.$d18 cm 610 0 $aUnione europea$aOrdinamento 610 0 $aMec$aGeografia Economica 676 $a341.2422026 676 $a050.031 676 $a348 700 1$aNascimbene,$bBruno$0129417 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006819330403321 952 $aIII T 224$b27325$fFSPBC 952 $aXXX COD. 753$b25862$fFSPBC 952 $a050.031.NAS$b2087$fDECGE 952 $aXXI A 3$b885$fDDCIC 952 $aCOD-110$b7450 dip.$fDDRC 959 $aDECGE 959 $aDDCIC 959 $aDDRC 959 $aFSPBC 996 $aComunità e Unione europea$9191836 997 $aUNINA LEADER 05402nam 22008895 450 001 9910483871503321 005 20251226200141.0 010 $a3-540-77684-2 024 7 $a10.1007/978-3-540-77684-0 035 $a(CKB)1000000000490587 035 $a(SSID)ssj0000317765 035 $a(PQKBManifestationID)11212464 035 $a(PQKBTitleCode)TC0000317765 035 $a(PQKBWorkID)10312396 035 $a(PQKB)11657988 035 $a(DE-He213)978-3-540-77684-0 035 $a(MiAaPQ)EBC3062193 035 $a(MiAaPQ)EBC6711417 035 $a(Au-PeEL)EBL6711417 035 $a(OCoLC)233973843 035 $a(PPN)123743427 035 $a(MiAaPQ)EBC337136 035 $a(BIP)37160906 035 $a(BIP)17712509 035 $a(EXLCZ)991000000000490587 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $e5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings /$fedited by Sven Hartmann, Gabriele Kern-Isberner 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 400 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4932 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77683-4 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Coupling Design and Verification in Software Product Lines -- Random Geometric Identification -- Strategic Abilities of Agents -- Regular Papers -- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria -- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets -- An Alternative Foundation for DeLP: Defeating Relations and Truth Values -- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes -- Autonomous Sets ? A Method for Hypergraph Decomposition with Applications in Database Theory -- Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning -- Information-Optimal Reflections of View Updates on Relational Database Schemata -- Merging First-Order Knowledge Using Dilation Operators -- On the Existence of Armstrong Instances with Bounded Domains -- Reasoning on Data Models in Schema Translation -- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings -- Using Transversals for Discovering XML Functional Dependencies -- Visibly Pushdown Transducers for Approximate Validation of Streaming XML -- A Probabilistic Logic with Polynomial Weight Formulas -- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases -- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach -- Database Preferences Queries ? A Possibilistic Logic Approach with Symbolic Priorities -- Defeasible Reasoning and Partial Order Planning -- Lossless Decompositions in Complex-Valued Databases -- SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach -- Towards a Logic for Abstract MetaFinite State Machines -- Towards a Fuzzy Logic for AutomatedMulti-issue Negotiation. 330 $aAn ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4932 606 $aComputer science 606 $aDatabase management 606 $aData mining 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aDatabase Management 606 $aData Mining and Knowledge Discovery 606 $aUser Interfaces and Human Computer Interaction 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 0$aDatabase management. 615 0$aData mining. 615 0$aUser interfaces (Computer systems). 615 0$aHuman-computer interaction. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aDatabase Management. 615 24$aData Mining and Knowledge Discovery. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004 702 $aHartmann$b Sven$f1969- 702 $aKern-Isberner$b Gabriele$f1956- 712 12$aFoIKS 2008 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483871503321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA