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 |