"Foundations of Information and Knowledge Systems" ed. by Sven Hartmann, Gabriele Kern-Isberner

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.


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.

Table of Contents
Invited Talks
Coupling Design and Verification in Software Product Lines - Egon Borger and Don Batory
Random Geometric Identification - Gyula O.H. Katona
Strategic Abilities of Agents - Jurgen Dix
Regular Papers
Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria - Fernando A. Tohm´e, Gustavo A. Bodanza, and Guillermo R. Simari
Alternative Characterizations for Program Equivalence under
Answer-Set Semantics Based on Unfounded Sets - Martin Gebser, Torsten Schaub, Hans Tompits, and Stefan Woltran
An Alternative Foundation for DeLP: Defeating Relations and Truth Values - Ignacio D. Viglizzo, Fernando A. Tohm´e, and Guillermo R. Simari
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes - Joachim Biskup and Sebastian Link
Autonomous Sets – A Method for Hypergraph Decomposition with Applications in Database Theory - Henning Koehler
Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning - Christos Dimitrakakis and Christian Savu-Krohn
Information-Optimal Reflections of View Updates on Relational Database Schemata - Stephen J. Hegner
Merging First-Order Knowledge Using Dilation Operators - Nikos Gorogiannis and Anthony Hunter
On the Existence of Armstrong Instances with Bounded Domains - Attila Sali and Laszlo Szekely
Reasoning on Data Models in Schema Translation - Paolo Atzeni, Giorgio Gianforme, and Paolo Cappellari
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings - Andrea Calı, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Using Transversals for Discovering XML Functional Dependencies - Thu Trinh
Visibly Pushdown Transducers for Approximate Validation of Streaming XML - Alex Thomo, S. Venkatesh, and Ying Ying Ye
A Probabilistic Logic with Polynomial Weight Formulas - Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, and Zoran Markovic
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases - Andreas Behrend and Rainer Manthey
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach - Vasiliki Efstathiou and Anthony Hunter
Database Preferences Queries – A Possibilistic Logic Approach with Symbolic Priorities - Allel Hadjali, Souhila Kaci, and Henri Prade
Defeasible Reasoning and Partial Order Planning - Diego R. Garc´ıa, Alejandro J. Garcıa, and Guillermo R. Simari
Lossless Decompositions in Complex-Valued Databases - Henning Koehler and Sebastian Link
SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach - Ilyes Jenhani, Nahla Ben Amor, Salem Benferhat, and Zied Elouedi
Towards a Logic for Abstract MetaFinite State Machines - Qing Wang and Klaus-Dieter Schewe
Towards a Fuzzy Logic for Automated Multi-issue Negotiation - Azzurra Ragone, Umberto Straccia, Tommaso Di Noia,
Eugenio Di Sciascio, and Francesco M. Donini
Author Index