Foundations of information and knowledge systems : 5th international symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings
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 presented together with 9 revised short papers and 3 invited lectures were carefully sel...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Berlin
Springer
2008
Springer Berlin / Heidelberg |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 3540776834 9783540776833 |
Cover
| Abstract | 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 presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems. |
|---|---|
| AbstractList | An 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. 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 presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems. |
| Author | Kern-Isberner, Gabriele Hartmann, Sven |
| Author_xml | – sequence: 1 fullname: Hartmann, Sven – sequence: 2 fullname: Kern-Isberner, Gabriele |
| BackLink | https://cir.nii.ac.jp/crid/1130000794210922368$$DView record in CiNii |
| BookMark | eNqNkcFKAzEQhiNa0VbfIQdRhBaSTDZpvGlptSgoKF6X7G5W124T3WyVPoMv7bQVPWoOGSb_x59M_i7Z8cG7LdKFRDKt1VCK7d8GZId0BWPaSAAhd8m-ADAahhL2yGGMLwwXcESTffI5CQtf2LYKPtJQ0sqXoZmve2p9QWc-fNSueHI0LmPr5pGe0aR9Rq51jV9ztkZt_hpitZj36SRMr-8pXj_s07sq2j6dtrZeouCyZmGbJeV8wJP-GkGz1ybkzhWVf4oHpFPaOrrD79ojj5Pxw-hqcHN7OR2d3wyslEIlg9yUsmSJU1K5RIoik4xlRuExFhw1y3iGamHAGqkNF0orYwVwU5S5gRJ65HRjbOPMfcTnULcxfa9dFsIspkYPf_6VIXuyYfGhbwsX23SN5c63ja3T8cVIac4l10ge_0ECaA7qH5bAlOA4So8cbUhfVWlerXbOYZUfhis4M0IABv4FGxCYTQ |
| ContentType | eBook Book |
| DBID | RYH |
| DEWEY | 004 |
| DatabaseName | CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3540776842 9783540776840 |
| Edition | 1 2008 edition. |
| ExternalDocumentID | 9783540776840 EBC6711417 EBC337136 EBC3062193 BA86147006 |
| GroupedDBID | 089 0D6 0DA 2HV 38. A4J AABBV AABFA AAJYQ AATVQ AAUKK ABBUY ABBVZ ABCYT ABGTP ABMNI ACANT ACDTA ACDUY ACHXG ACKTP AEDXK AEHEY AEJLV AEKFX AETDV AEVYL AEZAY AHNNE ALMA_UNASSIGNED_HOLDINGS ATJMZ AZZ BBABE CZZ E6I IEZ IW- JJU MA. MMI MW~ NUU RYH SBO SVJCK TPJZQ TSXQS Z7R Z7U Z7X Z7Z Z81 Z83 Z84 Z85 Z88 AAFYB -7M -7Q -BG LDH NUC SAO Z5O Z7W Z7Y Z87 Z8R Z8W Z92 |
| ID | FETCH-LOGICAL-a44265-c9f4f05e646e542db400b96c9f0b9339bb1b5e6d93a9479126769a2319dfc93f3 |
| ISBN | 3540776834 9783540776833 |
| IngestDate | Fri Nov 08 03:46:22 EST 2024 Thu Oct 09 04:42:20 EDT 2025 Tue Jun 10 23:59:02 EDT 2025 Tue Sep 09 06:52:56 EDT 2025 Fri Jun 27 00:14:40 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 2007943324 |
| LCCallNum_Ident | QA75.5 -- .F65 2008eb |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a44265-c9f4f05e646e542db400b96c9f0b9339bb1b5e6d93a9479126769a2319dfc93f3 |
| Notes | Includes bibliographical references and index "LNCS Sublibrary : SL 3 Information systems and application, incl. Internet/Web and HCI"--T.p. verso |
| OCLC | 233973843 |
| PQID | EBC3062193 |
| PageCount | 408 |
| ParticipantIDs | askewsholts_vlebooks_9783540776840 proquest_ebookcentral_EBC6711417 proquest_ebookcentral_EBC337136 proquest_ebookcentral_EBC3062193 nii_cinii_1130000794210922368 |
| PublicationCentury | 2000 |
| PublicationDate | c2008 2008 2008-01-30 |
| PublicationDateYYYYMMDD | 2008-01-01 2008-01-30 |
| PublicationDate_xml | – year: 2008 text: 2008 |
| PublicationDecade | 2000 |
| PublicationPlace | Berlin |
| PublicationPlace_xml | – name: Berlin – name: Berlin/Heidelberg – name: Dordrecht – name: Berlin, Heidelberg |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2008 |
| Publisher | Springer Springer Berlin / Heidelberg |
| Publisher_xml | – name: Springer – name: Springer Berlin / Heidelberg |
| SSID | ssj0000317765 |
| Score | 1.8188393 |
| Snippet | This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa,... An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of... |
| SourceID | askewsholts proquest nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computer systems Computer systems -- Congresses Congresses Information technology Information technology -- Congresses |
| TableOfContents | Author Index Intro -- Preface -- Conference Organization -- Table of Contents -- Coupling Design and Verification in Software Product Lines -- Random Geometric Identification -- Strategic Abilities of Agents -- 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 Automated Multi-issue Negotiation LR-Reduced Covers and Applications -- Related Work -- Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning -- Introduction -- Combining Classification Error and Labelling Cost -- Related Work -- Stopping Algorithms -- When No Model Is Perfect: Bayesian Model Selection -- The OBSV Algorithm -- Experimental Evaluation -- Discussion -- References -- Information-Optimal Reflections of View Updates on Relational Database Schemata -- Introduction -- The Relational Model -- The General Theory of Updates -- Optimal Insertion in the Context of XEIDs -- Conclusions and Further Directions -- Merging First-Order Knowledge Using Dilation Operators -- Introduction -- Background on Propositional Knowledge Merging -- Motivation for Dilation-Based Merging -- Framework for Dilation-Based Merging -- Preliminaries -- Dilation Operators -- Comparison Orderings -- Merging Operators -- Examples of Dilation-Based Merging -- Properties of Merging Operators -- Conclusions -- Proof of Proposition 1 -- On the Existence of Armstrong Instances with Bounded Domains -- Introduction -- Upper Bound -- Lower Bound -- Conclusions -- Reasoning on Data Models in Schema Translation -- Introduction -- Context and Goals -- Signatures of Constructs and Models -- Signatures of Datalog Rules and Their Application -- Inferring Models from Rules -- Applications of the Results -- Related Work -- Conclusions -- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings -- Introduction -- Representation Requirements -- Description Logics -- Tightly Integrated Disjunctive DL-Programs -- Representing Ontology Mappings -- Tightly Integrated Probabilistic DL-Programs -- Representing Ontology Mappings with Confidence Values -- Algorithms and Complexity -- Tractability Results -- Conclusion Intro -- Title Page -- Preface -- Organization -- Table of Contents -- Coupling Design and Verification in Software Product Lines -- Motivation -- Combined Stepwise Refinement of Design and Verification Features -- Outlook -- Random Geometric Identification -- Strategic Abilities of Agents -- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria -- Introduction -- Aggregating Attack Relations -- Arrow's Conditions on Aggregation Functions -- Decisive Sets of Attack Relations -- Discussion -- Further Work -- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets -- Introduction -- Background -- Model-Theoretic Characterizations by Unfounded Sets -- Characterizations for Program Equivalence -- Characterizations Based on Unfounded Sets -- Characterizations in (Standard) Propositional Logic -- Characterizations in Quantified Propositional Logic -- Discussion -- An Alternative Foundation for DeLP: Defeating Relations and Truth Values -- Introduction and Motivation -- The Basics of DeLP -- Warrant Games -- Finite Warrant Games -- The Defeating Relation and Truth Values -- Conclusions and Future Work -- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes -- Introduction -- Dependencies in Relational Databases -- Inadequate Reasoning in Fixed Universes -- Appropriate Reasoning in Fixed Universes -- Nearly Complete Reasoning in Fixed Universes -- Complete Reasoning in Undetermined Universes -- Extension to Full Hierarchical Dependencies -- Conclusion -- Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory -- Introduction -- Hypergraph Decomposition -- Autonomous Sets -- Computing Autonomous Sets -- Superedges and Partial Superedges -- Canonical Covers -- Partial Covers -- An NP-Hardness Result Using Transversals for Discovering XML Functional Dependencies -- Introduction -- Preliminary -- XML Schema Tree and XML Data Tree -- Subgraph Terminology -- XML Functional Dependencies -- Related Work -- Transversal Approach to Mining XFDs -- Finding Difference Sets of T' -- Finding Difference Sets from Agree Sets -- Finding Agree Sets -- Conclusion -- Visibly Pushdown Transducers for Approximate Validation of Streaming XML -- Introduction -- Related Work -- Visibly Pushdown Automata -- Visibly Pushdown Transducers -- VPTs for Edit Operations under the First Semantics -- Substitution -- Deletion -- Insertion -- A VPT for All Operations -- VPTs for Edit Operations under the Second Semantics -- Substitution -- Deletion -- Insertion -- A VPT for All Operations -- Repairs -- Concluding Remarks -- A Probabilistic Logic with Polynomial Weight Formulas -- Introduction -- Syntax and Semantics -- Axiomatization -- Completeness -- Decidability and Complexity -- Conclusion -- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases -- Introduction -- Basic Concepts -- Deductive Databases -- Normalized Definite Rules -- Disjunctive Deductive Databases -- Update Propagation -- View Updating -- Top-Down Computation of Realizations -- Bottom-Up Assessment of Realizations -- Overall Organization of View Updating -- Discussion -- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach -- Introduction -- Logical Argumentation for a Language of Clauses -- Towards Effective Algorithms for Generating Arguments -- Connection Graphs -- Searching Query Graphs -- Algorithms -- Algorithm for Building the Query Graph -- Algorithm for Finding the Formulae for Each Presupport Tree (Algorithm 1) -- Algorithm for Checking Support Tree Conditions -- Experimental Results -- Discussion Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities -- Introduction -- Background -- Databases Approaches to Preference Handling in Querying -- The Fuzzy Set-Based Approach to Flexible Querying -- The CP-Net-Based Approach to Preference Processing -- A Symbolic Possibilistic Logic Approach -- Comparative Preferences -- Non-binary Attributes -- Concluding Remarks -- Defeasible Reasoning and Partial Order Planning -- Introduction -- Motivation -- Defeasible Argumentation and Actions -- Argumentation in Partial Order Planning -- Interferences among Actions and Arguments -- Proposed Algorithm -- Related Work -- Conclusions -- Lossless Decompositions in Complex-Valued Databases -- Introduction -- The Relational Model of Data -- Lossless Decompositions - The Relational Case -- The Complex-Valued Data Model -- Lossless Decomposition -- Conclusion -- SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach -- Introduction -- Decision Trees -- Possibility Theory -- Similarity Based Possibilistic Decision Trees -- Imperfection in Classification Problems -- Building Procedure -- Classification Procedure -- Experimental Results -- Conclusion -- Towards a Logic for Abstract MetaFinite State Machines -- Introduction -- Metafinite States -- Basic Definitions -- Background Structures -- Abstract Metafinite State Machines -- A Logical Formalization -- Syntax and Semantics -- Axioms and Inference Rules -- Discussion and Conclusion -- Towards a Fuzzy Logic for Automated Multi-issue Negotiation -- Introduction -- Negotiation Mechanism -- Representation of Issues -- Multi Issue Bilateral Negotiation in P(N) -- Computing Pareto Agreements in P(N) -- The Bargaining Process -- Related Work and Discussion -- Author Index |
| Title | Foundations of information and knowledge systems : 5th international symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings |
| URI | https://cir.nii.ac.jp/crid/1130000794210922368 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3062193 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=337136 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6711417 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783540776840 |
| Volume | 4932 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1bb9MwFLagvLCXcRVlDCzEY4Oa2Ilj3rapZd2Al41pb1HsOKKCpVKTTYK_wJ_ms3NtuQlektZ2jiJ_jv2dY59zCHmVC57zODNeKiLj8SBVXsp942kZhAbrvU5ddP73H6Ljj_zkMrzsM4Y675JKvdbffulX8j-oogy4Wi_Zf0C2E4oC_Aa-uAJhXLfIb_e3TajZJkOqQ8YWnQ-i2wzoDGVNoObSKf5h9clFh-gNgOXXK3toq051PF8tTs9shMHYMctl6WjlAuTc4TCH8nxtj9jZw2mhLbFNneB-EeydSaywfnZbV1dNMuazm9737BSv4i1KhVs9cN6mam0d3jdMEfGWKaI1RW6oqNauJKDT1OEutmJbHx7EoAfCxUy_LQSU5zsHs5N3F52VDFMOHg4bpxwnp47mOJC7Q3bS8jOWBCwXVQmOUCyXP62sji6c3yMj60Jyn9wyxQOy2ybOoM08-pB8H-BHVzkd4EeBH-3wow1-9A0FenQDPdqhN6Guu6ntrAm1yE2oww0VDWrUoTZxTSBsgNgjcjGfnR8de01WDHxEoFMhPqOc59PQRDwyIQ8yhWlYyQjFuDEmlfIVajPJUsmF9AN7ijkFj5dZriXL2WMyKlaFeUKoCvNM-9qIzGiOyjjSPBNBznwdaKXVmLwcdG1y88Xt4JfJoP_5dEz20eOJXtqrb7dHwTslD_ypBPeM4jGhLRaJe745dpzMDo-gsGLJZGPy4vdNmPBZ9CchkYBS74unf3mPPXK3H7TPyKhaX5t9MMpKPW-G3Q-DDG_w |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Foundations+of+information+and+knowledge+systems+%3A+5th+international+symposium%2C+FoIKS+2008%2C+Pisa%2C+Italy%2C+February+11-15%2C+2008+%3A+proceedings&rft.au=FoIKS&rft.au=Hartmann%2C+Sven&rft.au=Kern-Isberner%2C+Gabriele&rft.date=2008-01-01&rft.pub=Springer&rft.isbn=9783540776833&rft.externalDocID=BA86147006 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97835407%2F9783540776840.jpg |