Articles:
1) Knowledge-Based Textual Inference via Parse-Tree Transformations. --Roy Bar-Haim, Ido Dagan and Jonathan Berant.
2) Solving #SAT and MAXSAT by Dynamic Programming. --Sigve Hortemo Sæther, Jan Arne Telle and Martin Vatshelle.
3) Word vs. Class-Based Word Sense Disambiguation. --Ruben Izquierdo, Armando Suarez and German Rigau.
4) Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games. --Scott Kiesel, Ethan Burns and Wheeler Ruml.
5) Leveraging Online User Feedback to Improve Statistical Machine Translation. --Lluís Formiga, Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez and José B. Mariño.
6) Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks. --Hannes Strass.
7) Decision Making with Dynamic Uncertain Events. --Meir Kalech and Shulamit Reches.
8) Relations Between Spatial Calculi About Directions and Orientations. --Till Mossakowski and Reinhard Moratz.
9) PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. --Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski and Ian Horrocks.
10) Continuing Plan Quality Optimisation. --Fazlul Hasan Siddiqui and Patrik Haslum.
11) Constraining Information Sharing to Improve Cooperative Information Gathering. --Igor Rochlin and David Sarne.
12) Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. --Joseph Y. Halpern.
13) Possible and Necessary Winners of Partial Tournaments. --Haris Aziz, Markus Brill, Felix Fischer, Paul Harrenstein, Jerome Lang and Hans Georg Seedig.
14) Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. --Andreas Steigmiller and Birte Glimm.
15) Compressing Optimal Paths with Run Length Encoding. --Ben Strasser, Adi Botea and Daniel Harabor.
16) On a Practical, Integer-Linear Programming Model for Delete-Free Tasks and its Use as a Heuristic for Cost-Optimal Planning. --Tatsuya Imai and Alex Fukunaga.