| 545 | -- | 580 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell Armi, Giuseppe Ielpa. Design and implementation of aggregate functions in the DLV system |
| 581 | -- | 609 | Ludovic Langevine, Mireille Ducassé. Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs |
| 611 | -- | 641 | Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel. Checking the quality of clinical guidelines using automated reasoning tools |
| 643 | -- | 690 | Francesco Buccafurri, Gianluca Caminiti. Logic programming with social features |
| 691 | -- | 716 | Matti Järvisalo, Emilia Oikarinen. Extended ASP Tableaux and rule redundancy in normal logic programs |
| 717 | -- | 761 | Emilia Oikarinen, Tomi Janhunen. Achieving compositionality of the stable model semantics for smodels programs |