TPLP Accepted papers, (April-June 2011)
Read more »
TPLP-TOCL
TPLP Accepted papers
ACM TOCL Accepted papers
ACM TOCL Accepted papers (April-June 2011)
Read more »
ACM TOCL Accepted papers
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
TPLP Accepted papers
Read more »
TPLP Accepted papers
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 »
ACM TOCL Accepted papers
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 »
ACM TOCL Accepted papers
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 »
TPLP Accepted papers
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 »
TPLP Accepted papers
* TPLP regular papers *
Read more »
ACM TOCL Accepted papers
* ACM TOCL Accepted papers *
Read more »