Invited 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 Automated Multi-issue Negotiation.
ThisvolumecontainsthepaperspresentedattheFifthInternationalSymposium on Foundations of Information and Knowledge Systems (FoIKS 2008) which was held in Pisa, Italy during February 11–15, 2008. On behalf of the Program Committee we commend these papers to you and hope you ?nd them useful. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2008 solicited original contributions dealing with any foundational aspect of information and knowledge systems, including submissions from - searchersworkingin?eldssuchasdiscretemathematics,logicandalgebra,model theory,informationtheory,complexitytheory,algorithmicsandcomputation,- ometry,analysis,statistics and optimizationwho areinterested in applying their ideas, theories and methods to research on information and knowledge systems. Previous FoIKS symposia were held in Budapest (Hungary) in 2006, - enna (Austria) in 2004, Schloß Salzau near Kiel (Germany) in 2002, and Burg / Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (H- gary) in 1989, and Dresden (Germany) in 1987. TheFoIKSsymposiaarea forumfor intensivediscussions.Speakersaregiven su?cienttime to presenttheir results,expoundrelevantbackgroundinformation and put their research into context. Furthermore, participants are asked in - vance to prepare as correspondents to a contribution of another author.
There are no comments on this title.