Abstract is missing.
- Logic Frameworks for Logic ProgramsDavid A. Basin. 1-16
- An Extended Transformation System for CLP ProgramsN. Bensaou, Irène Guessarian. 17-35
- Using Call/Exit Analysis for Logic Program TransformationDmitri Boulanger, Maurice Bruynooghe. 36-50
- A Transformation System for Definite Programs Based on Termination AnalysisJ. Cook, John P. Gallagher. 51-68
- On the Use of Inductive Reasoning in Program Synthesis: Prejudice and ProspectsPierre Flener, Lubos Popelínsky. 69-87
- Transforming Specifications of Observable Behaviour into ProgramsDavid Gilbert, Christopher J. Hogger, Jirí Zlatuska. 88-103
- On Specification Frameworks and Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. 104-121
- Partial Evaluation of the Real Thing Michael Leuschel. 122-137
- Schema-Based Top-Down Design of Logic Programs Using Abstract Data TypesEmmanuil I. Marakakis, John P. Gallagher. 138-153
- Generalizing Extended Execution for Normal ProgramsSophie Renault. 154-169
- Partial Deduction of Disjunctive Logic Programs: A Declarative ApproachChiaki Sakama, Hirohisa Seki. 170-182
- Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCLGiovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani. 183-198
- Propagation of Inter-argument Dependencies in Tuple-distributive Type Inference SystemsChristine Solnon, Michel Rueher. 199-214
- Logic Programming and Logic Grammars with First-Order ContinuationsPaul Tarau, Verónica Dahl. 215-230
- Improving the Whelk System: A Type-Theoretic ReconstructionGeraint A. Wiggins. 231-247
- A Model of Costs and Benefits of Meta-Level ComputationFrank van Harmelen. 248-261
- A Basis for a Multi-Level Meta-Logic Programming LanguageJonas Barklund, Katrin Boberg, Pierangelo Dell Acqua. 262-275
- Logic Programs with TestsMarion Mircheva. 276-292
- An Architecture with Multiple Meta-Levels for the Development of Correct ProgramsBarbara Dunin-Keplicz. 293-310
- More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting s SemanticsAnnalisa Bossi, Sandro Etalle. 311-331
- Formal Semantics of Temporal Epistemic ReflectionWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur. 332-352
- Temporal Semantics of Meta-Level Architectures for Dynamic Control of ReasoningJan Treur. 353-376
- Gödel as a Meta-Language for Composing Logic ProgramsAntonio Brogi, Simone Contiero. 377-394
- A Module System for Meta-ProgrammingPatricia M. Hill. 395-409
- Building Proofs in ContextGiuseppe Attardi, Maria Simi. 410-424
- Introspective Metatheoretic ReasoningFausto Giunchiglia, Alessandro Cimatti. 425-439
- Abstract Debugging of Logic ProgramMarco Comini, Giorgio Levi, Giuliana Vitiello. 440-450