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

Invited Papers

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

Advanced Tutorials

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

Languages and Applications I

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

Languages and Applications II

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

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
Henning Christiansen:
A Complete Resolution method for Logical Meta-Programming Languages. 205-219
Piero A. Bonatti:
Model Theoretic Semantics for Demo. 220-234
Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson:
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. 235-249

Transformation and Analysis I

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

Transformation and Analysis II

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

Knowledge Representation

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

Last update Sat May 18 15:13:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page