1 – General Artificial Intelligence (GAIW 2005) -- Reducing Propositional Theories in Equilibrium Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation -- Partially Parametric SVM -- Adapting Hausdo…