20. ICLP 2004: Saint Malo, France

Bart Demoen, Vladimir Lifschitz (Eds.): Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3132 Springer 2004, ISBN 3-540-22671-0 BibTeX

Invited Talks

Nachum Dershowitz:
Termination by Abstraction. 1-18
Electronic Edition (link) BibTeX
Michael Gelfond:
Answer Set Programming and the Design of Deliberative Agents. 19-26
Electronic Edition (link) BibTeX

Analysis

John P. Gallagher, Kim S. Henriksen:
Abstract Domains Based on Regular Types. 27-42
Electronic Edition (link) BibTeX
Jan-Georg Smaus:
Termination of Logic Programs Using Various Dynamic Selection Rules. 43-57
Electronic Edition (link) BibTeX
Tom Schrijvers, Alexander Serebrenik:
Improving Prolog Programs: Refactoring for Prolog. 58-72
Electronic Edition (link) BibTeX

Constraints I

Islam Elkabani, Enrico Pontelli, Tran Cao Son:
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. 73-89
Electronic Edition (link) BibTeX
Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur:
The Refined Operational Semantics of Constraint Handling Rules. 90-104
Electronic Edition (link) BibTeX
Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey:
Compiling Ask Constraints. 105-119
Electronic Edition (link) BibTeX
Tom Schrijvers, David Scott Warren:
Constraint Handling Rules and Tabled Execution. 120-136
Electronic Edition (link) BibTeX

Alternative Paradigms I

Alex Dekhtyar, Michael I. Dekhtyar:
Possible Worlds Semantics for Probabilistic Logic Programs. 137-148
Electronic Edition (link) BibTeX
Patrick Caldon, Eric Martin:
Limiting Resolution: From Foundations to Implementation. 149-164
Electronic Edition (link) BibTeX
Oliver Ray, Krysia Broda, Alessandra Russo:
Generalised Kernel Sets for Inverse Entailment. 165-179
Electronic Edition (link) BibTeX

Answer Set Programming I

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
On Programs with Linearly Ordered Multiple Preferences. 180-194
Electronic Edition (link) BibTeX
Joost Vennekens, David Gilis, Marc Denecker:
Splitting an Operator. 195-209
Electronic Edition (link) BibTeX
David Pearce:
Simplifying Logic Programs Under Answer Set Semantics. 210-224
Electronic Edition (link) BibTeX
Thomas Linke, Hans Tompits, Stefan Woltran:
On Acyclic and Head-Cycle Free Nested Logic Programs. 225-239
Electronic Edition (link) BibTeX

Implementation

Remko Tronçon, Gerda Janssens, Henk Vandecasteele:
Fast Query Evaluation with (Lazy) Control Flow Compilation. 240-253
Electronic Edition (link) BibTeX
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Speculative Computations in Or-Parallel Tabled Logic Programs. 254-268
Electronic Edition (link) BibTeX
James Cheney, Christian Urban:
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. 269-283
Electronic Edition (link) BibTeX
Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Implementation Results in Classical Constructive Negation. 284-298
Electronic Edition (link) BibTeX

Constraints II

Eric Monfroy, Frédéric Saubion, Tony Lambert:
On Hybridization of Local Search and Constraint Propagation. 299-313
Electronic Edition (link) BibTeX
Jia-Huai You, Guiwen Hou:
Arc-Consistency + Unit Propagation = Lookahead. 314-328
Electronic Edition (link) BibTeX
Nicolas Beldiceanu, Emmanuel Poder:
The period Constraint. 329-342
Electronic Edition (link) BibTeX
Camilo Rueda, Frank D. Valencia:
Non-viability Deductions in Arc-Consistency Computation. 343-355
Electronic Edition (link) BibTeX

Answer Set Programming II

Toshiko Wakaki, Katsumi Inoue:
Compiling Prioritized Circumscription into Answer Set Programming. 356-370
Electronic Edition (link) BibTeX
Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. 371-385
Electronic Edition (link) BibTeX
Esra Erdem, Martin D. F. Wong:
Rectilinear Steiner Tree Construction Using Answer Set Programming. 386-399
Electronic Edition (link) BibTeX
Xiumei Jia, Jia-Huai You, Li-Yan Yuan:
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. 400-415
Electronic Edition (link) BibTeX

Alternative Paradigms II

David Robertson:
Multi-agent Coordination as Distributed Logic Programming. 416-430
Electronic Edition (link) BibTeX
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe:
Logic Programs with Annotated Disjunctions. 431-445
Electronic Edition (link) BibTeX

Poster Presentations

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstract Interpretation-Based Mobile Code Certification. 446-447
Electronic Edition (link) BibTeX
Steve Barker:
Labeled Logic Programs. 448-449
Electronic Edition (link) BibTeX
François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert:
Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. 450-451
Electronic Edition (link) BibTeX
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding Simulation in CCP. 452-453
Electronic Edition (link) BibTeX
Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau:
Applying CLP to Predict Extra-Functional Properties of Component-Based Models. 454-455
Electronic Edition (link) BibTeX
Pierre Deransart:
Main Results of the OADymPPaC Project. 456-457
Electronic Edition (link) BibTeX
Dávid Hanák, Tamás Szeredi, Péter Szeredi:
FDBG, the CLPFD Debugger Library of SICStus Prolog. 458-459
Electronic Edition (link) BibTeX
Rohit N. Kundaji, R. K. Shyamasundar:
Development of Semantic Debuggers Based on Refinement Calculus. 460-461
Electronic Edition (link) BibTeX
Ludovic Langevine, Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. 462-463
Electronic Edition (link) BibTeX
Massimo Marchi, Alessandra Mileo, Alessandro Provetti:
Grid Service Selection with PPDL. 464-466
Electronic Edition (link) BibTeX
Moritz Neugebauer:
Concurrent Constraint Programming and Tree-Based Acoustic Modelling. 467-468
Electronic Edition (link) BibTeX
Linh Anh Nguyen:
MProlog: An Extension of Prolog for Modal Logic Programming. 469-470
Electronic Edition (link) BibTeX
Matthieu Petit, Arnaud Gotlieb:
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. 471-472
Electronic Edition (link) BibTeX
Rafael Ramirez, Juanjo Martinez:
Constraint-Based Synchronization and Verification of Distributed Java Programs. 473-474
Electronic Edition (link) BibTeX
Tom Schrijvers:
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. 475-476
Electronic Edition (link) BibTeX
Paul Tarau:
Agent Oriented Logic Programming Constructs in Jinni 2004. 477-478
Electronic Edition (link) BibTeX