Accepted Papers

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…

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…

ICLP10 Accepted papers

Full papers of the 26th International Conference on Logic Programming have been published in a Special issue of TPLP. See here for the list. Technical Communications and invited speaker notes of the 26th International Conference on Logic Programming have been…

PPDP 2010 Accepted Papers

Principles and Practice of Declarative Programming (PPDP 2010), July 26-28, 2010, Hagenberg, Austria,

LOPSTR 2010 Accepted Papers

20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria