Accepted Papers

The selected papers are displayed below.

Regular Presentations

- Functional Dependencies on Extended Relations Defined by Regular Languages, Gyula I. Szabó and András Benczúr

- Inconsistency Tolerance in Knowledge-Based Systems by Dissimilarities, Ofer Arieli and Anna Zamansky

- Revising Belief without Revealing Secrets, Joachim Biskup and Cornelia Tadros

- Using Functional Dependencies for Reducing the Size of a Data Cube, Eve Garnaud, Sofian Maabout, and Mohamed Mosbah

- Synchronous Parallel Database Transformations, Klaus-Dieter Schewe and Qing Wang

- Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags, Sven Hartmann, Henning Koehler, Sebastian Link, and Bernhard Thalheim

- FD Covers and Universal Complements of Simple Projections, Stephen Hegner

- Flexible and Efficient Distributed Resolution of Large Entities, Csaba István Sidló, András J. Molnár, and Andras A. Benczúr

- Encoding Databases Satisfying a Given Set of Dependencies, Gyula O.H. Katona and Krisztián Tichler

- The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van Den Bussche, Dirk Van Gucht, Stijn Vansummeren, and Yuqing Wu

- On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics, Annika Krämer and Christoph Beierle

- On Real-Valued Evaluation of Propositional Formulas, Aleksandar Perovic, Dragan Doder, and Zoran Ognjanovic

- Detecting Suspect Answers in the Presence of Inconsistent Information, Olivier Pivert and Henri Prade

- Backing and Undercutting in Abstract Argumentation Frameworks, Andrea Cohen, Alejandro J. García, and Guillermo R. Simari

- Handling Preferences in P2P Systems, Luciano Caroprese and Ester Zumpano

- Formalizing Production Systems with Rule-Based Ontolgies, Martin Rezk and Michael Kifer

- More than the Sum of its Parts - Holistic Ontology Alignment by Population-Based Optimisation, Jürgen Bock, Sebastian Rudolph, and Michael Mutter

- Verifying Resource Requirements for Ontology-Driven Rule-Based Agents, Abdur Rakib, Rokan Uddin Faruqui, and Wendy Maccaull

- Learning the News in Social Networks, Krishnan Rajagopalan, Venkatesh Srinivasan, and Alex Thomo

- Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange, Domenico Saccà, Edoardo Serra, and Antonella Guzzo