By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…
By Amelia Harrison UT Austin, USA ABSTRACT We show an example of how the proposal for the semantics of the subset of the input language of gringo called AG can be used as the basis for a proof of correctness of a…
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,