Abstract is missing.
- Belief Revision: A Vade-MecumPeter Gärdenfors. 1-10
- Metaprogramming Through Intensional Deduction: Some ExamplesLuis Fariñas del Cerro, Andreas Herzig. 11-25
- An Autoepistemic Analysis of Metalevel Reasoning in Logic ProgrammingKurt Konolige. 26-48
- An Introduction to Partial DeductionHenryk Jan Komorowski. 49-69
- Tutorial on Termination of Logic ProgramsDanny De Schreye, Kristof Verschaetse. 70-88
- Definable Naming Relations in Meta-level SystemsFrank van Harmelen. 89-104
- Meta for Modularising Logic ProgrammingAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. 105-119
- Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog PrimitivesSaumya K. Debray. 120-134
- Reflective Agents in Metalogic ProgrammingStefania Costantini, Pierangelo Dell Acqua, Gaetano Aurelio Lanzarone. 135-147
- Logic Meta-Programming Facilities in LOGIliano Cervesato, Gianfranco Rossi. 148-161
- The Pandora Deadlock Handler Meta-Level RelationReem Bahgat. 162-176
- Object-Oriented Programming in Gödel: An ExperimentKerima Benkerimi, Patricia M. Hill. 177-191
- A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of AmalgamationDanny De Schreye, Bern Martens. 192-204
- A Complete Resolution method for Logical Meta-Programming LanguagesHenning Christiansen. 205-219
- Model Theoretic Semantics for DemoPiero A. Bonatti. 220-234
- Hierarchical Meta-Logics: Intuitions, Proof Theory and SemanticsFausto Giunchiglia, Luciano Serafini, Alex K. Simpson. 235-249
- Negation and Control on Automatically Generated Logic ProgramsGeraint A. Wiggins. 250-264
- Transforming Normal Programs by ReplacementAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. 265-279
- Meta-Programming for Reordering Literals in Deductive DatabasesJesper Larsson Träff, Steven David Prestwich. 280-293
- Propagation: A New Operation in a Framework for Abstract Interpretation of Logic ProgramsMaurice Bruynooghe, Gerda Janssens. 294-307
- CLP(Q) for Proving Interargument RelationsFrédéric Mesnard, Jean-Gabriel Ganascia. 308-320
- Representation of Fragmentary Multilayered KnowledgeAndreas Hamfelt, Åke Hansson. 321-335
- Metaprograms for Change Assumptions, Objects, and InheritanceJan Grabowski. 336-351