Proceedings of the 20th International Conference on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.