Front matter
67-93
Termination by Abstraction
Nachum Dershowitz
471-486
Answer Set Programming and the Design of Deliberative Agents
Michael Gelfond
215-245
Abstract Domains Based on Regular Types
John P. Gallagher and Kim S. Henriksen
301-320
Termination of Logic Programs Using Various Dynamic Selection Rules
Jan-Georg Smaus
1-27
Improving Prolog Programs: Refactoring for Prolog
Tom Schrijvers and Alexander Serebrenik
179-213
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP
Islam Elkabani, Enrico Pontelli and Tran Cao Son
269-304
The Refined Operational Semantics of Constraint Handling Rules
Gregory J. Duck, Peter J. Stuckey, María García de la Banda and Christian Holzbaur
29-54
Compiling Ask Constraints
Gregory J. Duck, María García de la Banda and Peter J. Stuckey
321-340
Constraint Handling Rules and Tabled Execution
Tom Schrijvers and David S. Warren
117-134
Possible Worlds Semantics for Probabilistic Logic Programs
Alex Dekhtyar and Michael I. Dekhtyar
335-377
Limiting Resolution: From Foundations to Implementation
Patrick Caldon and Eric Martin
267-301
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda and Alessandra Russo
127-158
On Programs with Linearly Ordered Multiple Preferences
Davy Van Nieuwenborgh, Stijn Heymans and Dirk Vermeir
305-333
Splitting an Operator
An Algebraic Modularity Result and Its Application to Logic Programming
Joost Vennekens, David Gilis and Marc Denecker
43-71
Simplifying Logic Programs Under Answer Set Semantics
David Pearce
73-97
On Acyclic and Head-Cycle Free Nested Logic Programs
Thomas Linke, Hans Tompits and Stefan Woltran
240-253
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens and Henk Vandecasteele
269-299
Speculative Computations in Or-Parallel Tabled Logic Programs
Ricardo Rocha, Fernando Silva and Vítor Santos Costa
269-283
αProlog: A Logic Programming Language with Names, Binding and α-Equivalence
James Cheney and Christian Urban
303-319
Implementation Results in Classical Constructive Negation
Susana Muñoz-Hernández and Juan José Moreno-Navarro
199-232
On Hybridization of Local Search and Constraint Propagation
Eric Monfroy, Frédéric Saubion and Tony Lambert
31-41
Arc-Consistency + Unit Propagation = Lookahead
Jia-Huai You and Guiwen Hou
321-330
The period Constraint
Nicolas Beldiceanu and Emmanuel Poder
343-355
Non-viability Deductions in Arc-Consistency Computation
Camilo Rueda and Frank D. Valencia
23-45
Compiling Prioritized Circumscription into Answer Set Programming
Toshiko Wakaki and Katsumi Inoue
341-369
Enhancing the Magic-Set Method for Disjunctive Datalog Programs
Chiara Cumbo, Wolfgang Faber, Gianluigi Greco and Nicola Leone
41-62
Rectilinear Steiner Tree Construction Using Answer Set Programming
Esra Erdem and Martin D. F. Wong
55-65
Adding Domain Dependent Knowledge into Answer Set Programs for Planning
Xiumei Jia, Jia-Huai You and Li Yan Yuan
77-96
Multi-agent Coordination as Distributed Logic Programming
David Robertson
95-119
Logic Programs with Annotated Disjunctions
Joost Vennekens, Sofie Verbaeten and Maurice Bruynooghe
47-86
Abstract Interpretation-Based Mobile Code Certification
Elvira Albert, Germán Puebla and Manuel Hermenegildo
159-177
Labeled Logic Programs
Steve Barker
415-454
Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web
François Bry, Paula-Lavinia Pătrânjan and Sebastian Schaffert
1-19
Protein Folding Simulation in CCP
Alessandro Dal Palù, Agostino Dovier and Federico Fogolari
371-391
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
Olivier Defour, Jean-Marc Jézéquel and Noël Plouzeau
233-267
Main Results of the OADymPPaC Project
Pierre Deransart
121-157
FDBG, the CLPFD\mathcal{FD} Debugger Library of SICStus Prolog
Dávid Hanák, Tamás Szeredi and Péter Szeredi
223-247
Development of Semantic Debuggers Based on Refinement Calculus
Rohit N. Kundaji and R. K. Shyamasundar
141-194
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer
Ludovic Langevine and Mireille Ducassé
1-21
Grid Service Selection with PPDL
Massimo Marchi, Alessandra Mileo and Alessandro Provetti
169-198
Concurrent Constraint Programming and Tree–Based Acoustic Modelling
Moritz Neugebauer
87-116
MProlog: An Extension of Prolog for Modal Logic Programming
Linh Anh Nguyen
247-268
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing
Matthieu Petit and Arnaud Gotlieb
135-167
Constraint-Based Synchronization and Verification of Distributed Java Programs
Rafael Ramirez and Juanjo Martinez
455-469
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR
Tom Schrijvers
393-413
Agent Oriented Logic Programming Constructs in Jinni 2004
Paul Tarau
Back matter