Peter J. Stuckey
Proceedings of the 18th International Conference on Logic Programming
ICLP, 2002.

@proceedings{ICLP-2002,
	address       = "Copenhagen, Denmark",
	editor        = "Peter J. Stuckey",
	isbn          = "3-540-43930-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Conference on Logic Programming}",
	volume        = 2401,
	year          = 2002,
}

Contents (44 items)

12 ×#logic programming
7 ×#constraints
7 ×#logic
6 ×#source code
4 ×#database
4 ×#finite
4 ×#prolog
4 ×#using
3 ×#approach
3 ×#deduction

ICLP-2002-BoigelotW #automaton #constraints #finite #overview #perspective #representation

Representing Arithmetic Constraints with Finite Automata: An Overview (BB, PW), pp. 1–19.

ICLP-2002-Decker #challenge #database #logic #semantics #web

Logic Databases on the Semantic Web: Challenges and Opportunities (SD), pp. 20–21.

ICLP-2002-RussoMNK #abduction #approach #requirements #specification

An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.

ICLP-2002-SchrijversBD #analysis

Trailing Analysis for HAL (TS, MJGdlB, BD), pp. 38–53.

ICLP-2002-Barker #data access #database #deduction #logic programming

Access Control for Deductive Databases by Logic Programming (SB), pp. 54–69.

ICLP-2002-Thielscher #constraints #finite #reasoning

Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.

ICLP-2002-BockmayrC #biology #concurrent #constraints #hybrid #programming #using

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.

ICLP-2002-PemmasaniRR #constraints #logic programming #model checking #performance #realtime #using

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints (GP, CRR, IVR), pp. 100–114.

ICLP-2002-CharatonikMP #constraints #infinity #model checking

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.

ICLP-2002-JamilD #database #deduction #multi #semantics

A Model Theoretic Semantics for Multi-level Secure Deductive Databases (HMJ, GD), pp. 130–147.

ICLP-2002-Maher #constraints

Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.

ICLP-2002-MakholmS #on the

On Enabling the WAM with Region Support (HM, KFS), pp. 163–178.

ICLP-2002-Demoen #garbage collection

A Different Look at Garbage Collection for the WAM (BD), pp. 179–193.

ICLP-2002-DemoenNV #garbage collection #question

Copying Garbage Collection for the WAM: To Mark or Not to Mark? (BD, PLN, RV), pp. 194–208.

ICLP-2002-GanzingerM #algorithm #logic

Logical Algorithms (HG, DAM), pp. 209–223.

ICLP-2002-Schimpf #logic

Logical Loops (JS), pp. 224–238.

ICLP-2002-MartinNSS #learning #logic #prolog

Learning in Logic with RichProlog (EM, PMN, AS, FS), pp. 239–254.

ICLP-2002-BryS #declarative #model transformation #query #semistructured data #simulation #towards #transformation language #unification #xml

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.

ICLP-2002-Pientka #higher-order #logic programming

A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming (BP), pp. 271–286.

ICLP-2002-Craciunescu #equivalence #proving #source code

Proving the Equivalence of CLP Programs (SC), pp. 287–301.

ICLP-2002-Bruscoli #logic #proving

A Purely Logical Account of Sequentiality in Proof Search (PB), pp. 302–316.

ICLP-2002-InoueS

Disjunctive Explanations (KI, CS), pp. 317–332.

ICLP-2002-Bonatti #infinity #modelling #reasoning #source code

Reasoning with Infinite Stable Models II: Disjunctive Programs (PAB), pp. 333–346.

ICLP-2002-LoncT #modelling #performance #worst-case

Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.

ICLP-2002-DimopoulosS #set #towards

Towards Local Search for Answer Sets (YD, AS), pp. 363–377.

ICLP-2002-Cabalar #semantics

A Rewriting Method for Well-Founded Semantics with Explicit Negation (PC), pp. 378–392.

ICLP-2002-AntoniouM #logic programming #source code

Embedding Defeasible Logic into Logic Programs (GA, MJM), pp. 393–404.

ICLP-2002-PearceSSTW #logic programming #polynomial #source code

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.

ICLP-2002-Christensen #detection #logic programming #pervasive #process #using

Using Logic Programming to Detect Activities in Pervasive Healthcare (HBC), pp. 421–436.

ICLP-2002-LauB #logic programming #re-engineering

Logic Programming for Software Engineering: A Second Chance (KKL, MVB), pp. 437–451.

ICLP-2002-BenkoKS #integration

A Logic-Based System for Application Integration (TB, PK, PS), pp. 452–466.

ICLP-2002-MaSX #logic programming #source code

The Limits of Horn Logic Programs (SM, YS, KX), p. 467.

ICLP-2002-MedinaCO #approach #logic programming #multi

Multi-adjoint Logic Programming: A Neural Net Approach (JM, EMC, MOA), p. 468.

ICLP-2002-VaucheretGM #fuzzy #implementation #prolog #using

Fuzzy Prolog: A Simple General Implementation Using CLP(R) (CV, SG, SMH), p. 469.

ICLP-2002-DucasseL #analysis #automation #execution

Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.

ICLP-2002-OlmerS #logic programming #prolog #source code

Schema-Based Transformations of Logic Programs in λ-Prolog (PO, PS), p. 472.

ICLP-2002-LoyerS #database #deduction #nondeterminism

Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.

ICLP-2002-Angelopoulos #finite #overview #perspective #probability

Probabilistic Finite Domains: A Brief Overview (NA), p. 475.

ICLP-2002-Sampath #modelling #multi

Modelling Multi-agent Reactive Systems (PS), p. 476.

ICLP-2002-HayashiCO #execution #logic programming

Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.

ICLP-2002-FerrandL #approximate #finite #logic programming #reduction

A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.

ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.

ICLP-2002-Christiansen #constraints #logic

Logical Grammars Based on Constraint Handling Rules (HC), p. 481.

ICLP-2002-OsorioNA #approach #debugging #logic #prolog

Debugging in A-Prolog: A Logical Approach (MO, JANP, JA), pp. 482–483.