Full Papers
| On the Small-Scope Hypothesis for Testing Answer-Set Programs | |
| Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits |
| Fixed-Parameter Algorithms for Finding Minimal Models | |
| Martin Lackner, Andreas Pfandler |
| Credibility-Limited Revision Operators in Propositional Logic | |
| Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez |
| Belief Revision within Fragments of Propositional Logic | |
| Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
| Model Based Horn Contraction | |
| Zhiqiang Zhuang, Maurice Pagnucco |
| Undecidability of Fuzzy Description Logics | |
| Stefan Borgwardt, Rafael Peñaloza |
| An Abstraction Technique for the Verification of Artifact-Centric Systems | |
| Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction | |
| Henri Prade, Gilles Richard |
| Bounded Situation Calculus Action Theories and Decidable Verification | |
| Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi |
| Stable Models in Generalized Possibilistic Logic | |
| Didier Dubois, Henri Prade, Steven Schockaert |
Short Papers
| Justification Masking in Ontologies | |
| Matthew Horridge, Bijan Parsia, Ulrike Sattler |