Antonius Weinzierl1, Bart Bogaerts2, Jori Bomanson3, Thomas Eiter1,Gerhard Friedrich4, Tomi Janhunen3;5, Tobias Kaminski1, Michael Langowski1, Lorenz Leutgeb1, Gottfried Schenner6, Richard Taupe4;61 Institute of Logic and Computation, Vienna University of Technology, Austria2 Department of Computer Science, Vrije Universiteit Brussel (VUB), Belgium3…
By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, Spainjpg@ruc.dk Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…
Accepted papers of ICLP 2014. See you in Vienna.
By Son Cao Tran,
Department of Computer Science
New Mexico State University
Ordering is according submission number. Full papers will be published in a special issue of TPLP. Technical communications instead will be published in a LIPICS (Schloss Dagstuhl) issue. Full papers Miguel Areias and Ricardo Rocha. Towards Multi-Threaded Local Tabling Using…
Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.
Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011
Full papers of the 26th International Conference on Logic Programming have been published in a Special issue of TPLP. See here for the list. Technical Communications and invited speaker notes of the 26th International Conference on Logic Programming have been…
ILP2010 The 20th International Conference on Inductive Logic Programming Firenze Italy June 27-30 2010 http://ilp2010.dsi.unifi.it/
Principles and Practice of Declarative Programming (PPDP 2010), July 26-28, 2010, Hagenberg, Austria,