Abstract is missing.
- Termination by AbstractionNachum Dershowitz. 1-18 [doi]
- Answer Set Programming and the Design of Deliberative AgentsMichael Gelfond. 19-26 [doi]
- Abstract Domains Based on Regular TypesJohn P. Gallagher, Kim S. Henriksen. 27-42 [doi]
- Termination of Logic Programs Using Various Dynamic Selection RulesJan-Georg Smaus. 43-57 [doi]
- Improving Prolog Programs: Refactoring for PrologTom Schrijvers, Alexander Serebrenik. 58-72 [doi]
- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASPIslam Elkabani, Enrico Pontelli, Tran Cao Son. 73-89 [doi]
- The Refined Operational Semantics of Constraint Handling RulesGregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur. 90-104 [doi]
- Compiling Ask ConstraintsGregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey. 105-119 [doi]
- Constraint Handling Rules and Tabled ExecutionTom Schrijvers, David Scott Warren. 120-136 [doi]
- Possible Worlds Semantics for Probabilistic Logic ProgramsAlex Dekhtyar, Michael I. Dekhtyar. 137-148 [doi]
- Limiting Resolution: From Foundations to ImplementationPatrick Caldon, Eric Martin. 149-164 [doi]
- Generalised Kernel Sets for Inverse EntailmentOliver Ray, Krysia Broda, Alessandra Russo. 165-179 [doi]
- On Programs with Linearly Ordered Multiple PreferencesDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. 180-194 [doi]
- Splitting an OperatorJoost Vennekens, David Gilis, Marc Denecker. 195-209 [doi]
- Simplifying Logic Programs Under Answer Set SemanticsDavid Pearce. 210-224 [doi]
- On Acyclic and Head-Cycle Free Nested Logic ProgramsThomas Linke, Hans Tompits, Stefan Woltran. 225-239 [doi]
- Fast Query Evaluation with (Lazy) Control Flow CompilationRemko Tronçon, Gerda Janssens, Henk Vandecasteele. 240-253 [doi]
- Speculative Computations in Or-Parallel Tabled Logic ProgramsRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa. 254-268 [doi]
- alpha-Prolog: A Logic Programming Language with Names, Binding and a-EquivalenceJames Cheney, Christian Urban. 269-283 [doi]
- Implementation Results in Classical Constructive NegationSusana Muñoz-Hernández, Juan José Moreno-Navarro. 284-298 [doi]
- On Hybridization of Local Search and Constraint PropagationEric Monfroy, Frédéric Saubion, Tony Lambert. 299-313 [doi]
- Arc-Consistency + Unit Propagation = LookaheadJia-Huai You, Guiwen Hou. 314-328 [doi]
- The period ConstraintNicolas Beldiceanu, Emmanuel Poder. 329-342 [doi]
- Non-viability Deductions in Arc-Consistency ComputationCamilo Rueda, Frank D. Valencia. 343-355 [doi]
- Compiling Prioritized Circumscription into Answer Set ProgrammingToshiko Wakaki, Katsumi Inoue. 356-370 [doi]
- Enhancing the Magic-Set Method for Disjunctive Datalog ProgramsChiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone. 371-385 [doi]
- Rectilinear Steiner Tree Construction Using Answer Set ProgrammingEsra Erdem, Martin D. F. Wong. 386-399 [doi]
- Adding Domain Dependent Knowledge into Answer Set Programs for PlanningXiumei Jia, Jia-Huai You, Li-Yan Yuan. 400-415 [doi]
- Multi-agent Coordination as Distributed Logic ProgrammingDavid Robertson. 416-430 [doi]
- Logic Programs with Annotated DisjunctionsJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe. 431-445 [doi]
- Abstract Interpretation-Based Mobile Code CertificationElvira Albert, Germán Puebla, Manuel V. Hermenegildo. 446-447 [doi]
- Labeled Logic ProgramsSteve Barker. 448-449 [doi]
- Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the WebFrançois Bry, Paula-Lavinia Patranjan, Sebastian Schaffert. 450-451 [doi]
- Protein Folding Simulation in CCPAlessandro Dal Palù, Agostino Dovier, Federico Fogolari. 452-453 [doi]
- Applying CLP to Predict Extra-Functional Properties of Component-Based ModelsOlivier Defour, Jean-Marc Jézéquel, Noël Plouzeau. 454-455 [doi]
- Main Results of the OADymPPaC ProjectPierre Deransart. 456-457 [doi]
- FDBG, the CLPFD Debugger Library of SICStus PrologDávid Hanák, Tamás Szeredi, Péter Szeredi. 458-459 [doi]
- Development of Semantic Debuggers Based on Refinement CalculusRohit N. Kundaji, R. K. Shyamasundar. 460-461 [doi]
- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single TracerLudovic Langevine, Mireille Ducassé. 462-463 [doi]
- Grid Service Selection with PPDLMassimo Marchi, Alessandra Mileo, Alessandro Provetti. 464-466 [doi]
- Concurrent Constraint Programming and Tree-Based Acoustic ModellingMoritz Neugebauer. 467-468 [doi]
- MProlog: An Extension of Prolog for Modal Logic ProgrammingLinh Anh Nguyen. 469-470 [doi]
- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software TestingMatthieu Petit, Arnaud Gotlieb. 471-472 [doi]
- Constraint-Based Synchronization and Verification of Distributed Java ProgramsRafael Ramirez, Juanjo Martinez. 473-474 [doi]
- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHRTom Schrijvers. 475-476 [doi]
- Agent Oriented Logic Programming Constructs in Jinni 2004Paul Tarau. 477-478 [doi]