Logic Programming

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Termination by Abstraction
3. Altmetric Badge
   Chapter 2 Answer Set Programming and the Design of Deliberative Agents
4. Altmetric Badge
   Chapter 3 Abstract Domains Based on Regular Types
5. Altmetric Badge
   Chapter 4 Termination of Logic Programs Using Various Dynamic Selection Rules
6. Altmetric Badge
   Chapter 5 Improving Prolog Programs: Refactoring for Prolog
7. Altmetric Badge
   Chapter 6 Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP
8. Altmetric Badge
   Chapter 7 The Refined Operational Semantics of Constraint Handling Rules
9. Altmetric Badge
   Chapter 8 Compiling Ask Constraints
10. Altmetric Badge
    Chapter 9 Constraint Handling Rules and Tabled Execution
11. Altmetric Badge
    Chapter 10 Possible Worlds Semantics for Probabilistic Logic Programs
12. Altmetric Badge
    Chapter 11 Limiting Resolution: From Foundations to Implementation
13. Altmetric Badge
    Chapter 12 Generalised Kernel Sets for Inverse Entailment
14. Altmetric Badge
    Chapter 13 On Programs with Linearly Ordered Multiple Preferences
15. Altmetric Badge
    Chapter 14 Splitting an Operator
16. Altmetric Badge
    Chapter 15 Simplifying Logic Programs Under Answer Set Semantics
17. Altmetric Badge
    Chapter 16 On Acyclic and Head-Cycle Free Nested Logic Programs
18. Altmetric Badge
    Chapter 17 Fast Query Evaluation with (Lazy) Control Flow Compilation
19. Altmetric Badge
    Chapter 18 Speculative Computations in Or-Parallel Tabled Logic Programs
20. Altmetric Badge
    Chapter 19 αProlog: A Logic Programming Language with Names, Binding and α-Equivalence
21. Altmetric Badge
    Chapter 20 Implementation Results in Classical Constructive Negation
22. Altmetric Badge
    Chapter 21 On Hybridization of Local Search and Constraint Propagation
23. Altmetric Badge
    Chapter 22 Arc-Consistency + Unit Propagation = Lookahead
24. Altmetric Badge
    Chapter 23 The period Constraint
25. Altmetric Badge
    Chapter 24 Non-viability Deductions in Arc-Consistency Computation
26. Altmetric Badge
    Chapter 25 Compiling Prioritized Circumscription into Answer Set Programming
27. Altmetric Badge
    Chapter 26 Enhancing the Magic-Set Method for Disjunctive Datalog Programs
28. Altmetric Badge
    Chapter 27 Rectilinear Steiner Tree Construction Using Answer Set Programming
29. Altmetric Badge
    Chapter 28 Adding Domain Dependent Knowledge into Answer Set Programs for Planning
30. Altmetric Badge
    Chapter 29 Multi-agent Coordination as Distributed Logic Programming
31. Altmetric Badge
    Chapter 30 Logic Programs with Annotated Disjunctions
32. Altmetric Badge
    Chapter 31 Abstract Interpretation-Based Mobile Code Certification
33. Altmetric Badge
    Chapter 32 Labeled Logic Programs
34. Altmetric Badge
    Chapter 33 Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web
35. Altmetric Badge
    Chapter 34 Protein Folding Simulation in CCP
36. Altmetric Badge
    Chapter 35 Applying CLP to Predict Extra-Functional Properties of Component-Based Models
37. Altmetric Badge
    Chapter 36 Main Results of the OADymPPaC Project
38. Altmetric Badge
    Chapter 37 FDBG, the CLP $\mathcal{FD}$ Debugger Library of SICStus Prolog
39. Altmetric Badge
    Chapter 38 Development of Semantic Debuggers Based on Refinement Calculus
40. Altmetric Badge
    Chapter 39 A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer
41. Altmetric Badge
    Chapter 40 Grid Service Selection with PPDL
42. Altmetric Badge
    Chapter 41 Concurrent Constraint Programming and Tree–Based Acoustic Modelling
43. Altmetric Badge
    Chapter 42 MProlog: An Extension of Prolog for Modal Logic Programming
44. Altmetric Badge
    Chapter 43 Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing
45. Altmetric Badge
    Chapter 44 Constraint-Based Synchronization and Verification of Distributed Java Programs
46. Altmetric Badge
    Chapter 45 JmmSolve : A Generative Java Memory Model Implemented in Prolog and CHR
47. Altmetric Badge
    Chapter 46 Agent Oriented Logic Programming Constructs in Jinni 2004