Accepted Papers

The selected papers selected are displayed below.

Regular Presentations

- A probabilistic temporal logic that can model reasoning about evidence, Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, and Miodrag Raskovic

- An algorithm for generating Nash stable coalition structures in Hedonic games, Helena Keinänen

- Conjunctive queries with constraints: homomorphism, containment and rewriting, Ali Kiani and Nematollaah Shiri

- Enhancing Dung's preferred semantics, Zhihu Zhang

- On the distance of databases, Gyula O. H. Katona, Attila Sali, and Anita Keszler

- On the existence of Armstrong data trees for XML functional dependencies, Sven Hartmann, Henning Koehler, and Thu Trinh

- Polymorphism in Datalog and inheritance in a metamodel, Paolo Atzeni, Giorgio Gianforme, and Daniele Toti

- Possibilistic semantics for logic programs with ordered disjunction, Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, and Javier Vázquez-Salceda

- Semantic Web search based on ontological conjunctive queries, Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz

-Semantically characterizing collaborative behavior in an abstract dialogue framework, Julieta Marcos, Marcelo Alejandro Falappa, and Guillermo R. Simari

- The relationship of the logic of big-stepped probabilities to standard probabilistic logics, Christoph Beierle and Gabriele Kern-Isberner

- Theoretical foundations for enabling a Web of knowledge, David W Embley and Andrew J Zitzelberger

- Towards controlled query evaluation for incomplete first-order databases, Joachim Biskup, Cornelia Tadros, and Lena Wiese

- Bagging credal decision trees on datasets with classification noise, Joaquin Abellan and Andres R. Masegosa

- Evolving schemas for streaming XML, Maryam Shoaran and Alex Thomo

- Onto-Evoal an ontology evolution approach guided by pattern modelling and quality evaluation, Rim Djedidi and Marie-Aude Aufaure

- Towards a paradoxical description logic for the Semantic Web, Xiaowang Zhang and Zuoquan Lin

- Towards a unified model of preference-based argumentation, Jean-Rémi Bourguet, Leila Amgoud, and Rallou Thomopoulos

- Two complementary classification methods for designing concept lattices from interval data, Mehdi Kaytoue, Zainab Assaghir, Nizar Messai, and Amedeo Napoli