This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004.
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.
Author(s): Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)
Series: Lecture Notes in Computer Science 3132
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 484
City: Berlin
Tags: Programming Techniques; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
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 -
