Accepted Papers

The papers selected are displayed below, they are separated in long presentations and short presentations.

Regular Presentations

- Kim Bauters, Weiru Liu and Lluis Godo. Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs

- Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner. Sceptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem

- Bernhard Bliem and Stefan Woltran. Equivalence between Answer-Set Programs under (Partially) Fixed Input

- Luís Cruz-Filipe, Isabel Nunes and Peter Schneider-Kamp. Integrity Constraints for General-Purpose Knowledge Bases

- Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier and Jonni Virtema. Approximation and Dependence via Multiteam Semantics

- Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec and Qing Wang. A Logic for Non-Deterministic Parallel Abstract State Machines

- Bart Goethals, Thomas Van Brussel and Emmanuel Muller. Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes

- Martin Moguillansky. A Study of Argument Acceptability Dynamics through Core and Remainder Sets

- Pooya Moradian Zadeh and Ziad Kobti. A Knowledge based Framework for Link Prediction in Social Networks

- Hien Nguyen and Van-Nam Huynh. An Extension of k-means Algorithm for Clustering Categorical Datasets

- Gábor Rácz, Attila Sali and Klaus-Dieter Schewe. Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches

- Elena Ravve. Maintenance of Queries under Database Changes: a Unified Logic Based Approach

Short Presentations

- Ioannis Kokkinis. The Complexity of Non-Iterated Probabilistic Justification Logic
- Olivier Pivert and Henri Prade. Possibilistic Conditional Tables