Dear LPers, Welcome to the new issue of your ALP newsletter. First of all, Happy Easter to all of you. While Easter time is a time of rest and family for most, it is not time for vacation for logic…
Month: March 2013
Left Field: Graph Analytics and Big Data
Dear LPers, Welcome to the first instance of a new column that we would like to launch. The title of this column is Left Field (a shorthand for “Out of Left Field”, an american expression to indicate something odd or…
Tor: Modular Search with Hookable Disjunction
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