000 04370nam a22006135i 4500
001 978-3-540-77684-0
003 DE-He213
005 20240730164339.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540776840
_9978-3-540-77684-0
024 7 _a10.1007/978-3-540-77684-0
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aFoundations of Information and Knowledge Systems
_h[electronic resource] :
_b5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings /
_cedited by Sven Hartmann, Gabriele Kern-Isberner.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXII, 400 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4932
505 0 _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.
650 0 _aComputer science.
_99832
650 0 _aDatabase management.
_93157
650 0 _aData mining.
_93907
650 0 _aUser interfaces (Computer systems).
_911681
650 0 _aHuman-computer interaction.
_96196
650 0 _aArtificial intelligence.
_93407
650 1 4 _aTheory of Computation.
_984025
650 2 4 _aDatabase Management.
_93157
650 2 4 _aData Mining and Knowledge Discovery.
_984027
650 2 4 _aUser Interfaces and Human Computer Interaction.
_931632
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aHartmann, Sven.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984030
700 1 _aKern-Isberner, Gabriele.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984032
710 2 _aSpringerLink (Online service)
_984034
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540776833
776 0 8 _iPrinted edition:
_z9783540847212
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4932
_984035
856 4 0 _uhttps://doi.org/10.1007/978-3-540-77684-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c85604
_d85604