Table of contents

  1. Front Matter
  2. Peter Gärdenfors
    Pages 1-10
  3. Luis Fariñas del Cerro, Andreas Herzig
    Pages 11-25
  4. Jan Komorowski
    Pages 49-69
  5. Danny De Schreye, Kristof Verschaetse
    Pages 70-88
  6. Frank van Harmelen
    Pages 89-104
  7. A. Brogi, P. Mancarella, D. Pedreschi, F. Turini
    Pages 105-119
  8. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano A. Lanzarone
    Pages 135-147
  9. I. Cervesato, G. F. Rossi
    Pages 148-161
  10. K. Benkerimi, P. M. Hill
    Pages 177-191
  11. Piero A. Bonatti
    Pages 220-234
  12. Fausto Giunchiglia, Luciano Serafini, Alex Simpson
    Pages 235-249
  13. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
    Pages 265-279
  14. Jesper Larsson Träff, Steven David Prestwich
    Pages 280-293
  15. Frédéric Mesnard, Jean -Gabriel Ganascia
    Pages 308-320
  16. Andreas Hamfelt, Åke Hansson
    Pages 321-335
  17. Back Matter

About these proceedings


This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.


Automat Resolution databases logic optimization programming programming language semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56282-5
  • Online ISBN 978-3-540-47505-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods