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
