By Paolo Torroni,
University of Bologna, Italy
Editorial, March 2013
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…
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.