3. META 1992: Uppsala, Sweden

Alberto Pettorossi (Ed.): Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Lecture Notes in Computer Science 649 Springer 1992, ISBN 3-540-56282-6 BibTeX

@proceedings{DBLP:conf/meta/1992,
  editor    = {Alberto Pettorossi},
  title     = {Meta-Programming in Logic, 3rd International Workshop, META-92,
               Uppsala, Sweden, June 10-12, 1992, Proceedings},
  booktitle = {META},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {649},
  year      = {1992},
  isbn      = {3-540-56282-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Peter Gärdenfors: Belief Revision: A Vade-Mecum. 1-10 BibTeX
Luis Fariñas del Cerro, Andreas Herzig: Metaprogramming Through Intensional Deduction: Some Examples. 11-25 BibTeX
Kurt Konolige: An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming. 26-48 BibTeX

Advanced Tutorials

Henryk Jan Komorowski: An Introduction to Partial Deduction. 49-69 BibTeX
Danny De Schreye, Kristof Verschaetse: Tutorial on Termination of Logic Programs. 70-88 BibTeX

Languages and Applications I

Frank van Harmelen: Definable Naming Relations in Meta-level Systems. 89-104 BibTeX
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. 105-119 BibTeX
Saumya K. Debray: Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. 120-134 BibTeX
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Reflective Agents in Metalogic Programming. 135-147 BibTeX

Languages and Applications II

Iliano Cervesato, Gianfranco Rossi: Logic Meta-Programming Facilities in 'LOG. 148-161 BibTeX
Reem Bahgat: The Pandora Deadlock Handler Meta-Level Relation. 162-176 BibTeX
Kerima Benkerimi, Patricia M. Hill: Object-Oriented Programming in Gödel: An Experiment. 177-191 BibTeX

Logical Foundations

Danny De Schreye, Bern Martens: A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. 192-204 BibTeX
Henning Christiansen: A Complete Resolution method for Logical Meta-Programming Languages. 205-219 BibTeX
Piero A. Bonatti: Model Theoretic Semantics for Demo. 220-234 BibTeX
Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson: Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. 235-249 BibTeX

Transformation and Analysis I

Geraint A. Wiggins: Negation and Control on Automatically Generated Logic Programs. 250-264 BibTeX
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transforming Normal Programs by Replacement. 265-279 BibTeX

Transformation and Analysis II

Jesper Larsson Träff, Steven David Prestwich: Meta-Programming for Reordering Literals in Deductive Databases. 280-293 BibTeX
Maurice Bruynooghe, Gerda Janssens: Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. 294-307 BibTeX
Frédéric Mesnard, Jean-Gabriel Ganascia: CLP(Q) for Proving Interargument Relations. 308-320 BibTeX

Knowledge Representation

Andreas Hamfelt, Åke Hansson: Representation of Fragmentary Multilayered Knowledge. 321-335 BibTeX
Jan Grabowski: Metaprograms for Change Assumptions, Objects, and Inheritance. 336-351 BibTeX