Regular Papers

Special Issue on the 24th International Conference on Logic Programming

• Introduction to the 24th international conference on logic
  programming special issue María García de la Banda and Enrico Pontelli

• Abstract answer set solvers with backjumping and learning Yuliya Lierler

• A general framework for equivalences in answer-set programming by
  countermodels in the logic of here-and-there, Michael Fink

• Functional answer set programming, Pedro Cabalar

• On the implementation of the probalilistic logic programming language ProbLog Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha

• Products of weighted logic programs Shay B. Cohen, Robert J. Simmons, Noah A. Smith

• Solving functional constraints by variable substitution, Yuanlin Zhang and Roland H.C. Yap

• Detecting inconsistencies in large biological networks with answer set programming
  Martin Gebser, Torsten Schaub, Sven Thiele, and Philippe Veber

• Reasoning support for risk prediction and prevention in independent living Alessandra Mileo, Davide Merico, Roberto Bisiani

• Automatic music composition using answer set programming Georg Boenn, Martin Brain, Marina De Vos and John ffitch

Accepted Regular papers

• On elementary loops of logic programs ,
  Martin Gebser, Joohyung Lee, and Yuliya Lierler
• A design and implementation of the extended Andorra model ,
  Ricardo Lopes, Vitor Santos Costa, Fernando Silva
• Team-building with Answer Set Programming in the Gioia-Tauro Seaport ,
  Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone

Accepted Technical Notes

• A simple correctness proof for magic transformation , WŁODZIMIERZ DRABENT  March 04, 2011.