Abstract is missing.
- Constraint Programming (Abstract)Jean-Francois Puget. 3
- Effectiveness of Optimizing Compilation for CLP(R)Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap. 37-51
- A Linear Logic Calculus ObjectsMichele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. 67-81
- Representing Priorities in Logic ProgramsChiaki Sakama, Katsumi Inoue. 82-96
- A Novel Implementation Method of DelayNeng-Fa Zhou. 97-111
- A Thread in Time Saves Tabling TimePrasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan. 112-126
- An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive DatabasesHendrik Decker. 157-169
- A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol SpecificationMarc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye. 170-184
- A Declarative View of ModesLee Naish. 185-199
- Type Synthesis for Logic ProgramsJichang Tan, I-Peng Lin. 200-214
- Diagnosing Non-Well-Moded Concurrent Logic ProgramsKenta Cho, Kazunori Ueda. 215-229
- Declarative Logic Programming with Primitive Recursive Relations on ListsAndreas Hamfelt, Jørgen Fischer Nilsson. 230-243
- Engineering Transformations of Attributed Grammars in LambdaPrologOlivier Ridoux. 244-258
- Unification via Explicit Substitutions: The Case of Higher-Order PatternsGilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning. 259-273
- An Abstract Machine for Computing the Well-Founded SemanticsKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. 274-288
- Efficient Implementation of the Well-founded and Stable Model SemanticsIlkka Niemelä, Patrik Simons. 289-303
- A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal IntegrationMichael Leuschel, Danny De Schreye, D. Andre de Waal. 319-332
- Demand Transformation Analysis for Concurrent Constraint ProgramsMoreno Falaschi, Patrick Hicks, William H. Winsborough. 333-347
- Complementation of Abstract Domains made EasyGilberto Filé, Francesco Ranzato. 348-362
- Cumulative Scheduling with Task IntervalsYves Caseau, François Laburthe. 363-377
- Boosting the Interval Narrowing AlgorithmOlivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert. 378-392
- Completeness Results for Basic Narrowing in Non-Copying ImplementationsM. R. K. Krishna Rao. 393-407
- Extremal Problems in Logic Programming and Stable Model ComputationPawel Cholewinski, Miroslaw Truszczynski. 408-422
- Asserting Lemmas in the Stable Model SemanticsStefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco. 438-452
- A Compositional Semantics for Logic Programs and Deductive DatabasesFrançois Bry. 453-467
- A Compositional Semantics for Normal Open ProgramsSandro Etalle, Frank Teusink. 468-482
- A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic ProgramsMichael Thielscher. 483-497
- Visualizing Parallel Logic Program Execution for Performance TuningAnthony J. Kusalik, Steven David Prestwich. 498-512
- Initial Results of the Parallel Implementation of DASWAMKish Shen. 513-527
- Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract)Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel. 532
- Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract)Thomas H. Kolbe. 533
- Tracing Prolog without a Tracer (Poster Abstract)Mireille Ducassé, Jacques Noyé. 534
- PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract)Gerhard Wetzel, Robert A. Kowalski, Francesca Toni. 535
- Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract)Rolf Schwitter, Norbert E. Fuchs. 536
- Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract)Andreas Fordan, Ulrich Geske, Alexander Nareyek. 537
- Logic Programming and Databases Integrated at Last? (Poster Abstract)Juliana Freire, Terrance Swift, David Scott Warren. 538
- How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract)Alberto Pettorossi, Maurizio Proietti, Sophie Renault. 539
- A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract)Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira. 540
- Probabilistic Disjunctive Deductive Databases (Poster Abstract)Liem Ngo. 541
- Dependent And-Parallelism Revisited (Poster Abstract)Enrico Pontelli, Gopal Gupta. 542
- A General Framework for Integrating HCLP and PCSP (Poster Abstract)Michael Jampel, Jean-Marie Jacquet, David Gilbert. 543
- Specification of Complex Systems with Definite Clause Grammar (Poster Abstract)H. Lewis Chau. 544
- Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)Naoyuki Tamura, Yukio Kaneda. 545
- On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract)Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg. 546
- Colour Tagging for Prolog Visualization (Poster Abstract)Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld. 548