CALL FOR PAPERS 9th Italian Convention on Computational Logic (CILC 2012) Rome, June 6-7, 2012
Author: Editors
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)
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)
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal
Editorial, December 2011
Dear LPers, We have reached the end of another year, and 2011 is finishing with a lot of memories. This has been an year that has witnessed the untimely departure of some valuable friends, colleagues, and role models (Gaetano Aurelio…
Web Reasoning and Rule Systems: Five Years into the Conference
By
Francesco Calimeri, University of Calabria, Italy
Pascal Hitzler, Wright State University, USA
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry by Thorsten Winterer Flexis AG, Stuttgart, Germany
CFP: 6th International Conference on Web Reasoning and Rule Systems
RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning…
CFP: ICLP 2012
28th International Conference on Logic Programming (ICLP 2012), Budapest, Hungary, September 4-8, 2012, http://www.cs.bme.hu/iclp2012/
PADL 2012: Call for Participation
14th International Symposium on
Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012
Co-located with ACM POPL’12