| 1 | -- | 43 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill. Enhanced sharing analysis techniques: a comprehensive evaluation |
| 45 | -- | 74 | Paolo Ferraris, Vladimir Lifschitz. Weight constraints as nested expressions |
| 75 | -- | 91 | Samir Genaim, Michael Codish. Inferring Termination Conditions for Logic Programs using Backwards Analysis |
| 93 | -- | 121 | Pascal Hitzler, Matthias Wendt. A uniform approach to logic programming semantics |
| 123 | -- | 159 | Simona Perri, Francesco Scarcello, Nicola Leone. Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation |
| 161 | -- | 205 | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa. On Applying Or-Parallelism and Tabling to Logic Programs |
| 207 | -- | 242 | Ralf Schweimeier, Michael Schroeder. A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics |
| 243 | -- | 257 | Frédéric Mesnard, Roberto Bagnara. cTI: A constraint-based termination inference tool for ISO-Prolog |
| 259 | -- | 271 | Florence Benoy, Andy King, Frédéric Mesnard. Computing convex hulls with a linear solver |