دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
دانلود کتاب فرابرنامه‌نویسی در منطق: سومین کارگاه بین‌المللی، META-92 اوپسالا، سوئد، 10–12 ژوئن، 1992 مجموعه مقالات
مشخصات کتاب
Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Peter Gärdenfors (auth.), A. Pettorossi (eds.) سری: Lecture Notes in Computer Science 649 ISBN (شابک) : 3540562826, 9783540562825 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 364 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب فرابرنامه‌نویسی در منطق: سومین کارگاه بین‌المللی، META-92 اوپسالا، سوئد، 10–12 ژوئن، 1992 مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Meta-Programming in Logic: Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فرابرنامه‌نویسی در منطق: سومین کارگاه بین‌المللی، META-92 اوپسالا، سوئد، 10–12 ژوئن، 1992 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فرابرنامه‌نویسی در منطق: سومین کارگاه بین‌المللی، META-92 اوپسالا، سوئد، 10–12 ژوئن، 1992 مجموعه مقالات
این جلد شامل سخنرانی‌ها و مقالات ارائه شده در Meta 92، سومین کارگاه بین‌المللی فرابرنامه‌نویسی در منطق، که در اوپسالا، سوئد، ژوئن 1992 برگزار شد. و تبدیل و تحلیل برنامه در منطق. موضوعات خاص شامل سیستم‌های بازنگری باورها، استنتاج هدفمند، سیستم‌های باور و فرابرنامه‌نویسی، اصول استنتاج جزئی، خاتمه برنامه‌های منطقی، معناشناسی فرامترجم «وانیل»، روش تفکیک کامل برای فرابرنامه‌نویسی، معناشناسی «نمایش»، متالولوژی سلسله مراتبی است. ، رابطه نامگذاری در سیستم های سطح فلزی، ماژول ها، عوامل بازتابی، بهینه سازی های کامپایلر، امکانات متالوژیک و شی گرا، زبان های منطق موازی، استفاده از فرابرنامه نویسی برای استدلال قانونی، نمایش اشیا و ارث، تبدیل برنامه های عادی، نفی در منطق تولید شده به طور خودکار برنامه‌ها، ترتیب مجدد لفظ‌ها در پایگاه‌های داده قیاسی، تفاسیر انتزاعی و استدلال‌های متقابل در برنامه‌های منطق محدودیت.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Belief revision: A vade-mecum....Pages 1-10
Metaprogramming through intensional deduction: Some examples....Pages 11-25
An autoepistemic analysis of metalevel reasoning in logic programming....Pages 26-48
An introduction to partial deduction....Pages 49-69
Tutorial on termination of logic programs....Pages 70-88
Definable naming relations in meta-level systems....Pages 89-104
Meta for modularising logic programming....Pages 105-119
Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives....Pages 120-134
Reflective agents in metalogic programming....Pages 135-147
Logic meta-programming facilities in 'LOG....Pages 148-161
The Pandora deadlock handler meta-level relation....Pages 162-176
Object-oriented programming in Gödel: An experiment....Pages 177-191
A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation....Pages 192-204
A complete resolution method for logical meta-programming languages....Pages 205-219
Model theoretic semantics for Demo....Pages 220-234
Hierarchical meta-logics: Intuitions, proof theory and semantics....Pages 235-249
Negation and control in automatically generated logic programs....Pages 250-264
Transforming normal programs by replacement....Pages 265-279
Meta-programming for reordering literals in deductive databases....Pages 280-293
Propagation: a new operation in a framework for abstract interpretation of logic programs....Pages 294-307
CLP({ie308-01}) for proving interargument relations....Pages 308-320
Representation of fragmentary multilayered knowledge....Pages 321-335
Metaprograms for change, assumptions, objects, and inheritance....Pages 336-351
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Types in Compilation: third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
دانلود کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
دانلود کتاب Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
دانلود کتاب Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale
دانلود کتاب Professional Portrait Photography: Techniques and Images from Master Photographers (Pro Photo Workshop)
دانلود کتاب Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
دانلود کتاب Discovery Science: 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings
دانلود کتاب Advanced Research in VLSI and Parallel Systems: Proceedings of the 1992 Brown / MIT Conference
دانلود کتاب KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 Proceedings
