By Benoit Desouter and Tom Schrijvers, Ghent University, Belgium
The SAT Compiler in B-Prolog
By Neng-Fa Zhou
CUNY Brooklyn College & Graduate Center.
CFP: CILC 2013
CILC 2013, 28th Italian Meeting on Computational Logics, Catania (Sicily),Sept 25-27, 2013.
CFP: WFLP 2013
22nd International Workshop on Functional and (Constraint) Logic Programming 27th Workshop on Logic Programming part of the Kiel Declarative Programming Days 2013 September 11-13, 2013, Kiel, Germany http://www-ps.informatik.uni-kiel.de/wflp2013/ GENERAL WFLP 2013 is the combination of two workshops of a successful…
CFP: PPDP 2013
Call for papers: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP 2013, Madrid, Spain, September 16-18, 2013
The European Master’s Program in Computational Logic
The European Master’s Program in Computational Logic, by Steffen Hoelldobler, TU Dresden