Latest Story

Summer School: REASONING WEB 2012

February 22, 2012

by Thomas Krennwallner, Technical University of Vienna, Austria
Read more »

CFP: Special Issue of TPLP

February 13, 2012

Call for Papers Theory and Practice of Logic Programming Special Issue on Probability, Logic and Learning
Read more »

CFP: CILC 2012

February 3, 2012

CALL FOR PAPERS 9th Italian Convention on Computational Logic (CILC 2012) Rome, June 6-7, 2012
Read more »

CFP: PPDP 2012

January 27, 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

January 27, 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

January 26, 2012

by Luis Moniz Pereira Universidade Nova de Lisboa, Portugal
Read more »