Accepted Papers

Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.
Read more »

TPLP Accepted papers, (April-June 2011)
Read more »

ACM TOCL Accepted papers (April-June 2011)
Read more »

Volume 12, Number 4 (tentative) Complexity of Conservative Constraint Satisfaction Problems Andrei Bulatov (Electronic Appendix) Logic Programs with Propositional Connectives and Aggregates Paolo Ferraris Unification and Matching on Compressed Terms Adria Gascon, Guillem Godoy and Manfred Schmidt-Schauss Two-Variable Logic on Data Words Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick...
Read more »

TPLP Accepted papers
Read more »

Accepted papers of LPNMR 2011, 11th International Conference on Logic Programming and Nonmonotonic Reasoning, Vancouver, May 16-19, 2011
Read more »

Accepted Regular Papers German Puebla, Elvira Albert and Manuel Hermenegildo Efficient local unfolding with ancestor stacks Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl and Peter Schneider-Kamp. Polytool: polynomial interpretations as a basis for termination analysis of Logic programs Frank Raiser and Thom Frühwirth. Analyzing graph transformation systems through constraint handling rules. Edmund S. L. Lam and Martin Sulzmann. Concurrent goal-based execution...
Read more »

Future Issues (the order of the papers can change) Unification and Matching on Compressed Terms Adria Gascon, Guillem Godoy and Manfred Schmidt-Schauss Two-Variable Logic on Data Words Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick and Luc Segoufin Qualitative Concurrent Parity Games Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzingerc(Electronic Appendix) Logics for Information Systems...
Read more »

Volume 12, Number 1 (tentative) A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes Rohit Chadha and Mahesh Viswanthan (Electronic Appendix) On (Omega-) Regular Model Checking Axel Legay and Pierre Wolper Monadic Datalog over Finite Structures with Bounded Treewidth Georg Gottlob, Reinhard Pichler and Fang Wei ...
Read more »

Volume 10, Numbers 4-6, July 2010 Proceedings of ICLP 2010, Edinburgh, UK Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th international conference on logic programming special issue. 361-364 Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann: Automated termination analysis for logic programs with cut. 365-381 Alberto Pettorossi, Valerio Senni, Maurizio Proietti: Transformations of logic...
Read more »