Bart Demoen, Vladimir Lifschitz
Proceedings of the 20th International Conference on Logic Programming
ICLP, 2004.

@proceedings{ICLP-2004,
	address       = "Saint-Malo, France",
	editor        = "Bart Demoen and Vladimir Lifschitz",
	isbn          = "3-540-22671-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Logic Programming}",
	volume        = 3132,
	year          = 2004,
}

Contents (46 items)

12 ×#logic programming
12 ×#source code
8 ×#constraints
6 ×#set
5 ×#prolog
4 ×#programming
4 ×#semantics
3 ×#compilation
3 ×#named
3 ×#on the

ICLP-2004-Dershowitz #abstraction #termination

Termination by Abstraction (ND), pp. 1–18.

ICLP-2004-Gelfond #design #programming #set

Answer Set Programming and the Design of Deliberative Agents (MG), pp. 19–26.

ICLP-2004-GallagherH #abstract domain

Abstract Domains Based on Regular Types (JPG, KSH), pp. 27–42.

ICLP-2004-Smaus #logic programming #source code #termination #using

Termination of Logic Programs Using Various Dynamic Selection Rules (JGS), pp. 43–57.

ICLP-2004-SchrijversS #prolog #refactoring #source code

Improving Prolog Programs: Refactoring for Prolog (TS, AS), pp. 58–72.

ICLP-2004-ElkabaniPS #approach #effectiveness

Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP (IE, EP, TCS), pp. 73–89.

ICLP-2004-DuckSBH #constraints #semantics

The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.

ICLP-2004-DuckBS #compilation #constraints

Compiling Ask Constraints (GJD, MJGdlB, PJS), pp. 105–119.

ICLP-2004-SchrijversW #constraints #execution

Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.

ICLP-2004-DekhtyarD #logic programming #probability #semantics #source code

Possible Worlds Semantics for Probabilistic Logic Programs (AD, MID), pp. 137–148.

ICLP-2004-CaldonM #implementation

Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.

ICLP-2004-RayBR #kernel #set

Generalised Kernel Sets for Inverse Entailment (OR, KB, AR), pp. 165–179.

ICLP-2004-NieuwenborghHV #multi #on the #order #source code

On Programs with Linearly Ordered Multiple Preferences (DVN, SH, DV), pp. 180–194.

ICLP-2004-VennekensGD

Splitting an Operator (JV, DG, MD), pp. 195–209.

ICLP-2004-Pearce #logic programming #semantics #set #source code

Simplifying Logic Programs Under Answer Set Semantics (DP), pp. 210–224.

ICLP-2004-LinkeTW #logic programming #on the #source code

On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.

ICLP-2004-TronconJV #compilation #control flow #evaluation #lazy evaluation #performance #query

Fast Query Evaluation with (Lazy) Control Flow Compilation (RT, GJ, HV), pp. 240–253.

ICLP-2004-RochaSC #logic programming #source code

Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.

ICLP-2004-CheneyU #logic programming #named #programming language #prolog

αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.

ICLP-2004-Munoz-HernandezM #implementation

Implementation Results in Classical Constructive Negation (SMH, JJMN), pp. 284–298.

ICLP-2004-MonfroySL #constraints #on the

On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.

ICLP-2004-YouH #lookahead

Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.

ICLP-2004-BeldiceanuP #constraints

The period Constraint (NB, EP), pp. 329–342.

ICLP-2004-RuedaV #deduction

Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.

ICLP-2004-WakakiI #compilation #programming #set

Compiling Prioritized Circumscription into Answer Set Programming (TW, KI), pp. 356–370.

ICLP-2004-CumboFGL #datalog #source code

Enhancing the Magic-Set Method for Disjunctive Datalog Programs (CC, WF, GG, NL), pp. 371–385.

ICLP-2004-ErdemW #programming #set #using

Rectilinear Steiner Tree Construction Using Answer Set Programming (EE, MDFW), pp. 386–399.

ICLP-2004-JiaYY #set #source code

Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.

ICLP-2004-Robertson #coordination #distributed #logic programming #multi

Multi-agent Coordination as Distributed Logic Programming (DR), pp. 416–430.

ICLP-2004-VennekensVB #logic programming #source code

Logic Programs with Annotated Disjunctions (JV, SV, MB), pp. 431–445.

ICLP-2004-AlbertPH #abstract interpretation #certification #mobile

Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.

ICLP-2004-Barker #logic programming #source code

Labeled Logic Programs (SB), pp. 448–449.

ICLP-2004-BryPS #evolution #logic programming #programming language #query #web

Xcerpt and XChange — Logic Programming Languages for Querying and Evolution on the Web (FB, PLP, SS), pp. 450–451.

ICLP-2004-PaluDF #simulation

Protein Folding Simulation in CCP (ADP, AD, FF), pp. 452–453.

ICLP-2004-DefourJP #component #modelling #predict

Applying CLP to Predict Extra-Functional Properties of Component-Based Models (OD, JMJ, NP), pp. 454–455.

ICLP-2004-Deransart

Main Results of the OADymPPaC Project (PD), pp. 456–457.

ICLP-2004-HanakSS #debugging #library #prolog

FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.

ICLP-2004-KundajiS #calculus #development #refinement #semantics

Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.

ICLP-2004-LangevineD #debugging #monitoring #visualisation

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.

ICLP-2004-MarchiMP #grid

Grid Service Selection with PPDL (MM, AM, AP), pp. 464–466.

ICLP-2004-Neugebauer #concurrent #constraints #modelling #programming

Concurrent Constraint Programming and Tree-Based Acoustic Modelling (MN), pp. 467–468.

ICLP-2004-Nguyen #logic programming #named #prolog

MProlog: An Extension of Prolog for Modal Logic Programming (LAN), pp. 469–470.

ICLP-2004-PetitG #constraints #probability #statistics #testing

Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing (MP, AG), pp. 471–472.

ICLP-2004-RamirezM #constraints #distributed #java #source code #verification

Constraint-Based Synchronization and Verification of Distributed Java Programs (RR, JM), pp. 473–474.

ICLP-2004-Schrijvers #generative #java #memory management #named #prolog

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR (TS), pp. 475–476.

ICLP-2004-Tarau #logic programming

Agent Oriented Logic Programming Constructs in Jinni 2004 (PT), pp. 477–478.