Semantics:

• F. Bry, S. Schaffert, A. Schroeder: A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language
• P. Hitzler: Corollaries on the Fixpoint Completion: Studying the Stable Semantics by Means of the Clark Completion
• Z. Majkic: Coalgebraic Semantics for Logic Programs

Constraints:

• G. Ringwelski: Modeling the User's Constraint Domain
• J. Mashford, R. Drogemuller, P. Stuckey: Building Design Optimisation Using CLP
• O. Terán, B. Edmonds: Constraint Model-Based Exploration of Simulation Trajectories in a MABS Model

Program analysis:

• L. Lu, X. Li: Boolean Functions for Pair Sharing Analysis
• B. Braßel: TypeHope - There is Hope for your Type Errors

Software techniques:

• C. Beierle, M. Kulas, M. Widera: A Pragmatic Approach to Pre-Testing Prolog Programs
• T. Schrijvers, A. Serebrenik, B. Demoen: Refactoring Prolog Code