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…
Author: Editors
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
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