META

Keyphrases

Publications

1994

Marco Comini, Giorgio Levi, Giuliana Vitiello
Abstract Debugging of Logic Program. META (1994)
Patricia M. Hill
A Module System for Meta-Programming. META (1994)
Marion Mircheva
Logic Programs with Tests. META (1994)
Antonio Brogi, Simone Contiero
Gödel as a Meta-Language for Composing Logic Programs. META (1994)
Frank van Harmelen
A Model of Costs and Benefits of Meta-Level Computation. META (1994)
Jan Treur
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. META (1994)
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua
A Basis for a Multi-Level Meta-Logic Programming Language. META (1994)
Annalisa Bossi, Sandro Etalle
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META (1994)
Fausto Giunchiglia, Alessandro Cimatti
Introspective Metatheoretic Reasoning. META (1994)
Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
Formal Semantics of Temporal Epistemic Reflection. META (1994)
Giuseppe Attardi, Maria Simi
Building Proofs in Context. META (1994)
Barbara Dunin-Keplicz
An Architecture with Multiple Meta-Levels for the Development of Correct Programs. META (1994)

1992

volume 649, 1992

Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings META 649 (1992)

1989

Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988. META (1989)

1988