{"product_id":"meta-programming-in-logic-third-international-workshop-meta-92-uppsala-sweden-june-10-12-1992-proceedings-von-alberto-pettorossi-hrsg","title":"Meta-Programming in Logic","description":"This volume contains lectures and papers delivered at Meta\n92, the Third    International Workshop on Metaprogramming in\nLogic, held in Uppsala, Sweden,June 1992. The topics\ncovered include foundations of metaprogramming in     logic,\nproposals for metaprogramming languages, techniques for\nknowledgerepresentation and belief systems, and program\ntransformation and analysis  in logic.\nParticular topics include belief revision systems,\nintensionaldeduction, belief systems and metaprogramming,\nprinciples of partial        deduction, termination in logic\nprograms, semantics of the \"vanilla\"        metainterpreter, a\ncomplete resolution method for metaprogramming, semanticsof\n\"demo\", hierarchical metalogics, the naming relation in\nmetalevel    systems, modules, reflective agents, compiler\noptimizations, metalogic and  object-oriented facilities,\nparallel logic languages, the use of            metaprogramming for\nlegal reasoning, representing objects and               inheritance,\ntransformation of normal programs, negation in                 automatically\ngenerated logic programs, reordering of literals              in\ndeductive databases, abstract interpretations, and\ninterarguments in constraint logic programs.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540562825\"\u003e\u003ch3\u003eThird International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540562825","offer_id":39426320793693,"sku":"9783540562825","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9b7052c2-a9e1-4538-b25e-64bf5409e01f.jpg?v=1773554592","url":"https:\/\/shop.autorenwelt.de\/products\/meta-programming-in-logic-third-international-workshop-meta-92-uppsala-sweden-june-10-12-1992-proceedings-von-alberto-pettorossi-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}