By Agostino Dovier and Enrico Pontelli
University of Udine and New Mexico State University
Italy and USA
Category: ALP ISSUE
LPNMR 2013: Accepted Papers
By Son Cao Tran,
Department of Computer Science
New Mexico State University
Book Announcement: Programming with Higher-Order Logic
By Dale Miller (INRIA & LIX/Ecole Polytechnique) and Gopalan Nadathur (University of Minnesota)
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.
Editorial, December 2012
Dear LPers, We are both celebrating the year++ operations with the “Udine” part of our families and organizing jointly this issue for you. Let us start focusing on the two call for papers: ICLP 2013 in the fascinating Istanbul, Turkey…
Computational Logic in Hydroinformatics: the Case of the Optimal Location of Isolation Valves
By Marco Gavanelli, Maddalena Nonato,
Andrea Peano, Univ. degli Studi di Ferrara, Italy