By Paolo Torroni,
University of Bologna, Italy
Author: Editors
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.
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
CFP: RR 2013
CALL FOR PAPERS:
RR 2013,
The 7th International Conference on Web Reasoning and Rule Systems,
Mannheim, Germany, July 27-29, 2013