Catuscia Palamidessi
Proceedings of the 19th International Conference on Logic Programming
ICLP, 2003.

@proceedings{ICLP-2003,
	address       = "Mumbai, India",
	editor        = "Catuscia Palamidessi",
	isbn          = "3-540-20642-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Logic Programming}",
	volume        = 2916,
	year          = 2003,
}

Contents (50 items)

16 ×#logic programming
11 ×#source code
5 ×#set
4 ×#constraints
4 ×#semantics
3 ×#concurrent
3 ×#implementation
3 ×#programming
3 ×#termination
2 ×#analysis

ICLP-2003-Morrisett #low level #type safety

Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.

ICLP-2003-Ridoux #information management #logic programming

Logic Information Systems for Logic Programmers (OR), pp. 3–19.

ICLP-2003-Winsborough #distributed #logic programming

A Logic Programming View of Authorization in Distributed Systems (WHW), pp. 20–46.

ICLP-2003-DelzannoGM #composition #infinity #verification

Compositional Verification of Infinite State Systems (GD, MG, MCM), pp. 47–48.

ICLP-2003-BackofenW #approach #constraints #modelling #predict

A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods (RB, SW), pp. 49–71.

ICLP-2003-Valencia #concurrent #constraints

Concurrency, Time, and Constraints (FDV), pp. 72–101.

ICLP-2003-Fages #model checking

Symbolic Model-Checking for Biochemical Systems (FF), p. 102.

ICLP-2003-Lau #component #development #logic programming

Component-Based Software Development and Logic Programming (KKL), pp. 103–108.

ICLP-2003-BruscoliG #logic programming #proving #tutorial

A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.

ICLP-2003-AbreuD #named

Objective: In Minimum Context (SA, DD), pp. 128–147.

ICLP-2003-FarreTU

Handling Existential Derived Predicates in View Updating (CF, ET, TU), pp. 148–162.

ICLP-2003-EiterFGL #evaluation #integration #logic programming #performance #query #source code

Efficient Evaluation of Logic Programs for Querying Data Integration Systems (TE, MF, GG, DL), pp. 163–177.

ICLP-2003-Pradhan #database

Argumentation Databases (SP), pp. 178–193.

ICLP-2003-NieuwenborghV #order

Order and Negation as Failure (DVN, DV), pp. 194–208.

ICLP-2003-LoncT #modelling #set

Computing Minimal Models, Stable Models, and Answer Sets (ZL, MT), pp. 209–223.

ICLP-2003-EiterF #equivalence #logic programming #semantics #source code

Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.

ICLP-2003-ZhaoL #case study #programming #set #source code

Answer Set Programming Phase Transition: A Study on Randomly Generated Programs (YZ, FL), pp. 239–253.

ICLP-2003-LagoonMS #analysis #termination

Termination Analysis with Types Is More Accurate (VL, FM, PJS), pp. 254–268.

ICLP-2003-LangevineDD #implementation #performance #prolog

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.

ICLP-2003-DovierPR #set

Intensional Sets in CLP (AD, EP, GR), pp. 284–299.

ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction

Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.

ICLP-2003-KingL #logic programming #source code #verification

Forward versus Backward Verification of Logic Programs (AK, LL), pp. 315–330.

ICLP-2003-Wielemaker #prolog #thread

Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.

ICLP-2003-DrejhammarSBH #concurrent #declarative #java

Flow Java: Declarative Concurrency for Java (FD, CS, PB, SH), pp. 346–360.

ICLP-2003-WuPR #complexity #logic programming #on the

On the Complexity of Dependent And-Parallelism in Logic Programming (YW, EP, DR), pp. 361–376.

ICLP-2003-Pientka #higher-order

Higher-Order Substitution Tree Indexing (BP), pp. 377–391.

ICLP-2003-SahaR #evaluation #incremental #logic programming #source code

Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 392–406.

ICLP-2003-LopesCS #on the

On Deterministic Computations in the Extended Andorra Model (RL, VSC, FMAS), pp. 407–421.

ICLP-2003-Valencia03a #concurrent #constraints #decidability #ltl #programming

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL (FDV), pp. 422–437.

ICLP-2003-Smaus #equation #first-order #question #semantics

Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.

ICLP-2003-LeeL #logic programming #source code

Loop Formulas for Disjunctive Logic Programs (JL, VL), pp. 451–465.

ICLP-2003-LoyerS #logic programming #nondeterminism #source code

Default Knowledge in Logic Programs with Uncertainty (YL, US), pp. 466–480.

ICLP-2003-CorreasGCGH #persistent

A Generic Persistence Model for (C)LP Systems (JC, JMG, MC, DCG, MVH), pp. 481–482.

ICLP-2003-ErdoganL #programming #set

Definitions in Answer Set Programming: (STE, VL), pp. 483–484.

ICLP-2003-GuoG

A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.

ICLP-2003-JungKCMK #ontology #semantics #web

Adding the Temporal Relations in Semantic Web Ontologies (KJ, HK, JC, YJM, PK), pp. 487–488.

ICLP-2003-Rao #polynomial

Polynomial-Time Learnability from Entailment (MRKKR), pp. 489–491.

ICLP-2003-MoonMHK #ambiguity #integration #network #semantics #word

Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation (YJM, KM, YH, PK), pp. 492–493.

ICLP-2003-Morozov #development #logic #logic programming #web

Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents (AAM), pp. 494–495.

ICLP-2003-Munoz-HernandezM #implementation

A Real Implementation for Constructive Negation (SMH, JJMN), pp. 496–497.

ICLP-2003-Musumbu #security #simulation

Simulating Security Systems Based on Logigrams (KM), pp. 498–499.

ICLP-2003-PemmasaniGDRR #logic programming #online #source code

Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 500–501.

ICLP-2003-Ramirez

Inducing Musical Rules with ILP (RR), pp. 502–504.

ICLP-2003-Rosenblueth

A Distinct-Head Folding Rule (DAR), pp. 505–506.

ICLP-2003-Serebrenik #analysis #logic programming #source code #termination

Termination Analysis of Logic Programs: Extended Abstract (AS), pp. 507–508.

ICLP-2003-SerebrenikD #logic programming #refactoring #source code

Refactoring Logic Programs: Extended Abstract (AS, BD), pp. 509–510.

ICLP-2003-Smaus03a #logic programming #source code #termination

Termination of Logic Programs for Various Dynamic Selection Rules (JGS), pp. 511–512.

ICLP-2003-SonP #set

Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.

ICLP-2003-Thielscher #automation

Controlling Semi-automatic Systems with FLUX (MT), pp. 515–516.

ICLP-2003-UedaK

The Language Model LMNtal (KU, NK), pp. 517–518.