| 2010 | Models for Trustworthy Service and Process Oriented Systems. | Hugo A. Lpez |
| 2010 | A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. | Pedro Lpez-Garca, Luthfi Darmawan, Francisco Bueno |
| 2010 | Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited. | Tomi Janhunen |
| 2010 | Introduction to the Technical Communications of the 26th International Conference on Logic Programming. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | Titlepage, Table of Contents, Conference Organization. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | Geometric Constraints for the Phase Problem in X-Ray Crystallography. | Corinna Heldt, Alexander Bockmayr |
| 2010 | Focused Proof Search for Linear Logic in the Calculus of Structures. | Nicolas Guenot |
| 2010 | Towards a General Argumentation System based on Answer-Set Programming. | Sarah Alice Gaggl |
| 2010 | Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization. | Daan Fierens |
| 2010 | Efficient Solving of Time-dependent Answer Set Programs. | Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock |
| 2010 | Optimal haplotype reconstruction in half-sib families. | Aurlie Favier, Jean-Michel Elsen, Simon de Givry, Andrs Legarra |
| 2010 | A Logical Paradigm for Systems Biology (Invited Talk). | Franois Fages |
| 2010 | Constraint Answer Set Programming Systems. | Christian Drescher |
| 2010 | Program Analysis to Support Concurrent Programming in Declarative Languages. | Romain Demeyer |
| 2010 | Program analysis for code duplication in logic programs. | Celine Dandois |
| 2010 | Maximum likelihood pedigree reconstruction using integer programming. | James Cussens |
| 2010 | Inductive Logic Programming as Abductive Search. | Domenico Corapi, Alessandra Russo, Emil Lupu |
| 2010 | Minimizing enzymes to diferenciate between species. | David Buezas, Joo Almeida, Pedro Barahona |
| 2010 | Implementation Alternatives for Bottom-Up Evaluation. | Stefan Brass |
| 2010 | Perspectives on Constraints, Process Algebras, and Hybrid Systems. | Luca Bortolussi, Alberto Policriti |
| 2010 | Constraint-Based Modeling in Systems Biology. | Alexander Bockmayr |
| 2010 | Communicating Answer Set Programs. | Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2010 | HEX Programs with Action Atoms. | Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni |
| 2010 | Learning Domain-Specific Heuristics for Answer Set Solvers. | Marcello Balduccini |
| 2010 | Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk). | Molham Aref |