| 429 | -- | 432 | John P. Gallagher, Michael Gelfond. Introduction to the 27th International Conference on Logic Programming Special Issue |
| 433 | -- | 449 | Fabrizio Riguzzi, Terrance Swift. The PITA system: Tabling and answer subsumption for reasoning under uncertainty |
| 451 | -- | 468 | Conrad Drescher, Michael Thielscher. ALPprolog - A new logic programming method for dynamic domains |
| 469 | -- | 485 | Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages |
| 487 | -- | 502 | Marco Comini, Laura Titolo, Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs |
| 503 | -- | 520 | Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl. SAT-based termination analysis using monotonicity constraints over the integers |
| 521 | -- | 536 | Dean Voets, Danny De Schreye. Non-termination analysis of logic programs with integer arithmetics |
| 537 | -- | 553 | Jael Kriener, Andy King. RedAlert: Determinacy inference for Prolog |
| 555 | -- | 574 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo. Parallel backtracking with answer memoing for independent and-parallelism |
| 575 | -- | 591 | Paul Bone, Zoltan Somogyi, Peter Schachte. Estimating the overlap between dependent computations for automatic parallelization |
| 593 | -- | 609 | Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules |
| 611 | -- | 627 | António Porto. A structured alternative to Prolog with simple compositional semantics |
| 629 | -- | 646 | Yuliya Lierler, Miroslaw Truszczynski. Transition systems for model generators - A unifying approach |
| 647 | -- | 662 | Joost Vennekens. Actual causation in CP-logic |
| 663 | -- | 680 | Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt. The magic of logical inference in probabilistic programming |
| 681 | -- | 696 | Miguel Areias, Ricardo Rocha. On combining linear-based strategies for tabled evaluation of logic programs |
| 697 | -- | 712 | Flávio Cruz, Ricardo Rocha. Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs |
| 713 | -- | 730 | Sergio Antoy. On the correctness of pull-tabbing |
| 731 | -- | 747 | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini. Optimal placement of valves in a water distribution network with CLP(FD) |
| 749 | -- | 766 | Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler. Automatic network reconstruction using ASP |
| 767 | -- | 782 | Stefan Hallerstede, Michael Leuschel. Constraint-based deadlock checking of high-level specifications |
| 783 | -- | 799 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh. Normative design using inductive learning |
| 801 | -- | 819 | Martin Slota, João Leite, Terrance Swift. Splitting and updating hybrid knowledge bases |
| 821 | -- | 839 | Martin Gebser, Roland Kaminski, Torsten Schaub. Complex optimization in answer set programming |