CALL FOR PAPERS 9th Italian Convention on Computational Logic (CILC 2012) Rome, June 6-7, 2012
Read more »
Latest Story
CFP: CILC 2012
CFP: PPDP 2012
14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
PPDP 2012. Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012)
Read more »
CFP: LOPSTR 2012
22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012. Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012)
Read more »
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal
Read more »
Editorial, December 2011
By Agostino Dovier and Enrico Pontelli
Read more »
Web Reasoning and Rule Systems: Five Years into the Conference
By
Francesco Calimeri, University of Calabria, Italy
Pascal Hitzler, Wright State University, USA
Read more »