Abstract is missing.
- The Pi Calculus and Its Applications (Keynote Address)Robin Milner. 3-4
- Disjunctive Linear Programming: At the Intersection of Operations Research and Logic ProgrammingKen McAloon. 5-6
- Inductive Logic Programming for Relational Knowledge DiscoveryNada Lavrac. 7-24
- A Choice-Point Library for Backtrack ProgrammingPierre-Etienne Moreau. 16-31
- Co-definite Set Constraints with Membership ExpressionsPhilippe Devienne, Jean-Marc Talbot, Sophie Tison. 25-39
- Compiling Resources in a Linear Logic Programming LanguageMutsunori Banbara, Naoyuki Tamura. 32-45
- On the Representation and Management of Finite Sets in CLP LanguagesAgostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli. 40-54
- Tracing Prolog Programs by Source Instrumentation is Efficient EnoughMireille Ducassé, Jacques Noyé. 46-58
- SICStus MT - Multithreaded Execution Environment for SICStus PrologJesper Eskilson, Mats Carlsson. 59-71
- A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain ConstraintsNeng-Fa Zhou. 70-84
- Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic ProgrammingPhilippe Refalo. 72-85
- Distance: A New Metric for Controlling Granularity for Parallel ExecutionKish Shen, Vítor Santos Costa, Andy King. 85-99
- Parallel Arc-Consistency for Functional ConstraintsAlvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José J. Ruz. 86-100
- VisAll: A Universal Tool to Visualise Parallel Execution of Logic ProgramsNuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra. 100-114
- Natural Language Multiprocessing: A Case StudyEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell. 101-112
- Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic ProgramsDonald A. Smith, Mark Utting. 113-126
- Proof-Theoretic Foundation of Compilation in Logic ProgrammingIliano Cervesato. 115-129
- Abstract Compilation of lambda-PrologFrédéric Malésieux, Olivier Ridoux, Patrice Boizumault. 130-144
- Efficient Implementation of a Linear Logic Programming LanguageJoshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang. 145-159
- Normal Forms for Defeasible LogicGrigoris Antoniou, David Billington, Michael J. Maher. 160-174
- Beyond Success and FailureSandro Etalle, Femke van Raamsdonk. 190-205
- Source-to-source Prolog Program CompressionPhilippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes. 205-219
- Program Specialisation and Abstract Interpretation ReconciledMichael Leuschel. 220-234
- Termination Analysis: Some Practical Properties of the Norm and Level Mapping SpaceStefaan Decorte, Danny De Schreye. 235-249
- On Logically Justified UpdatesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos. 250-264
- Iterated Logic Program UpdatesJoão Alexandre Leite, Luís Moniz Pereira. 265-278
- Specialising the Other Way ArondWim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck. 279-293
- Greedy Algorithms in Datalog with Choice and NegationSergio Greco, Carlo Zaniolo. 294-309
- On the Optimality of Scheduling Strategies in Subsumption-based Tabled ResolutionPrasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan. 310-324
- Admissible Graph Rewriting and NarrowingRachid Echahed, Jean-Christophe Janodet. 325-342
- Applications of Abductive Logic ProgrammingAntonis C. Kakas, A. Michael. 343-344
- Relationships between Partial Consistencies over Continuous DomainsHélène Collavizza, François Delobel, Michel Rueher. 345-346
- Controlling Search in Funtional Logic ProgramsMichael Hanus, Frank Steiner. 347-348
- A Solver Collaboration in BALIEric Monfroy. 349-350
- Integration of CLP and Stochastic Optimisation StrategiesAlvaro Ruiz-Andino, José J. Ruz. 351-352
- A Generic Type System for CLP(chi)François Fages, Massimo Paltrinieri. 353-354
- Implementing Randomised Algorithms in Constraint Logic ProgrammingNicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky. 355-356
- Horn Logic DenotationsGopal Gupta. 357-358
- Towards Early Projection in CLP(R)Andreas Fordan, Roland H. C. Yap. 359-360