20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
http://www.risc.jku.at/conferences/lopstr2010/
Category: Accepted Papers
CILC 2010: Accepted Papers
CILC2010, XXV Italian Conference on Computational Logic
http://www.mat.unical.it/CILC2010/
ICLP 2010: Accepted papers
ICLP 2010 accepted papers. See also: http://www.floc-conference.org/ICLP-accepted.html
ICLP2009: Accepted papers
* International Conference on Logic Programming (ICLP 2009)
* Logic Programming and Non Monotonic Reasoning (LPNMR 2009)
* Principles and Practice of Declarative Programming (PPDP 2009)
* Practical Aspects of Declarative Programming (PADL 2010)
* International Symposium on Functional and Logic Programming (FLOPS 2010)
Accepted papers
We report here the accepted papers at the major logic programming international meetings and journals.