Accepted papers

The recently accepted papers in TPLP are the following:

Regular Papers

• Dynamics of Knowledge in DeLP through Argument Theory Change
  Martin O. Moguillansky, Nicolas D. Rotstein, Marcelo A. Falappa, Alejandro J. Garcia and Guillermo R. Simari.
• A transformation-based implementation for CLP with qualification and proximity
  Rafael Caballero, Mario Rodrìguez-Artalejo, and Carlos Alberto Romero-Dìaz
• Singular and plural functions for functional logic programming
  Adrián Riesco and Juan Rodríguez-Hortalá
• Region-based memory management for Mercury programs
  Quan Phan, Gerda Janssens, Zoltan Somogyi

Special Issue on the 25th Annual GULP Conference

• Introduction to the Special Issue on the 25th Annual GULP Conference.
  Wolfgang Faber and Nicola Leone
• Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
  Agostino Dovier, Andrea Formisano, Enrico Pontelli
• Generalization strategies for the verification of infinite state systems
  Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
• Reasoning about actions with temporal answer sets
  Laura Giordano, Alberto Martelli, Daniele Theseider Duprè
• Consistent Query Answering via ASP from Different Perspectives: Theory and Practice.
  Marco Manna, Francesco Ricca, Giorgio Terracina
• Parallel Instantiation of ASP Programs: Techniques and Experiments.
  Simona Perri, Francesco Ricca, Marco Sirianni
• Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.
  Fabrizio Riguzzi, Terrance Swift

Book Reviews

• Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge. Reviewed by Panos Rondogiannis
• Logic: a Brief Course by Daniele Mundici, Springer, 2012. Reviewed by Krzysztof R. Apt