Category: Accepted Papers

LOPSTR 2010: Accepted Papers

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

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.