Category: Accepted Papers

The Alpha Solver for Lazy-Grounding Answer-Set Programming

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…

Polyvariant program specialisation and its application in program analysis and verification

By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, 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…

ICLP 2012: Accepted papers

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…

ICLP 2011: Accepted papers

Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.

LPNMR 2011: Accepted papers

Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011

ICLP10: Accepted papers

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…

ILP 2010: Accepted papers

ILP2010 The 20th International Conference on Inductive Logic Programming Firenze Italy June 27-30 2010

PPDP 2010: Accepted Papers

Principles and Practice of Declarative Programming (PPDP 2010), July 26-28, 2010, Hagenberg, Austria,