Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)9783540226710, 3540226710
The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.
Table of contents :
Front Matter….Pages –
Termination by Abstraction….Pages 1-18
Answer Set Programming and the Design of Deliberative Agents….Pages 19-26
On Programs with Linearly Ordered Multiple Preferences….Pages 180-194
Splitting an Operator….Pages 195-209
Simplifying Logic Programs Under Answer Set Semantics….Pages 210-224
On Acyclic and Head-Cycle Free Nested Logic Programs….Pages 225-239
Fast Query Evaluation with (Lazy) Control Flow Compilation….Pages 240-253
Speculative Computations in Or-Parallel Tabled Logic Programs….Pages 254-268
α Prolog: A Logic Programming Language with Names, Binding and α -Equivalence….Pages 269-283
Implementation Results in Classical Constructive Negation….Pages 284-298
Abstract Domains Based on Regular Types….Pages 27-42
Termination of Logic Programs Using Various Dynamic Selection Rules….Pages 43-57
Improving Prolog Programs: Refactoring for Prolog….Pages 58-72
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP….Pages 73-89
The Refined Operational Semantics of Constraint Handling Rules….Pages 90-104
Compiling Ask Constraints….Pages 105-119
Constraint Handling Rules and Tabled Execution….Pages 120-136
Possible Worlds Semantics for Probabilistic Logic Programs….Pages 137-148
Limiting Resolution: From Foundations to Implementation….Pages 149-164
Generalised Kernel Sets for Inverse Entailment….Pages 165-179
On Hybridization of Local Search and Constraint Propagation….Pages 299-313
Arc-Consistency + Unit Propagation = Lookahead….Pages 314-328
The period Constraint….Pages 329-342
Non-viability Deductions in Arc-Consistency Computation….Pages 343-355
Compiling Prioritized Circumscription into Answer Set Programming….Pages 356-370
Enhancing the Magic-Set Method for Disjunctive Datalog Programs….Pages 371-385
Rectilinear Steiner Tree Construction Using Answer Set Programming….Pages 386-399
Adding Domain Dependent Knowledge into Answer Set Programs for Planning….Pages 400-415
Multi-agent Coordination as Distributed Logic Programming….Pages 416-430
Logic Programs with Annotated Disjunctions….Pages 431-445
Abstract Interpretation-Based Mobile Code Certification….Pages 446-447
Labeled Logic Programs….Pages 448-449
Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web….Pages 450-451
Protein Folding Simulation in CCP….Pages 452-453
Applying CLP to Predict Extra-Functional Properties of Component-Based Models….Pages 454-455
Main Results of the OADymPPaC Project….Pages 456-457
FDBG, the CLP $mathcal{FD}$ Debugger Library of SICStus Prolog….Pages 458-459
Development of Semantic Debuggers Based on Refinement Calculus….Pages 460-461
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer….Pages 462-463
Grid Service Selection with PPDL….Pages 464-466
Concurrent Constraint Programming and Tree–Based Acoustic Modelling….Pages 467-468
MProlog: An Extension of Prolog for Modal Logic Programming….Pages 469-470
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing….Pages 471-472
Constraint-Based Synchronization and Verification of Distributed Java Programs….Pages 473-474
JmmSolve : A Generative Java Memory Model Implemented in Prolog and CHR….Pages 475-476
Agent Oriented Logic Programming Constructs in Jinni 2004….Pages 477-478
Back Matter….Pages –
Reviews
There are no reviews yet.