Lecture Notes in Computer Science

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Editors: Pettorossi, Alberto (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47505-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-56282-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • Belief revision: A vade-mecum

    Gärdenfors, Peter

    Pages 1-10

  • Metaprogramming through intensional deduction: Some examples

    Cerro, Luis Fariñas (et al.)

    Pages 11-25

  • An autoepistemic analysis of metalevel reasoning in logic programming

    Konolige, Kurt

    Pages 26-48

  • An introduction to partial deduction

    Komorowski, Jan

    Pages 49-69

  • Tutorial on termination of logic programs

    Schreye, Danny (et al.)

    Pages 70-88

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47505-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-56282-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Meta-Programming in Logic
Book Subtitle
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Editors
  • Alberto Pettorossi
Series Title
Lecture Notes in Computer Science
Series Volume
649
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47505-7
DOI
10.1007/3-540-56282-6
Softcover ISBN
978-3-540-56282-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 351
Topics