دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Logic Programming Paradigm: A 25-Year Perspective
دانلود کتاب پارادایم برنامه نویسی منطقی: چشم انداز 25 ساله
مشخصات کتاب
The Logic Programming Paradigm: A 25-Year Perspective
ویرایش: 1 نویسندگان: Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini (auth.), Prof. Krzysztof R. Apt, Prof. Victor W. Marek, Prof. Mirek Truszczynski, Prof. David S. Warren (eds.) سری: Artificial Intelligence ISBN (شابک) : 9783642642494, 9783642600852 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 443 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب پارادایم برنامه نویسی منطقی: چشم انداز 25 ساله: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مدیریت پایگاه داده، تحقیق در عملیات/تئوری تصمیم گیری
در صورت تبدیل فایل کتاب The Logic Programming Paradigm: A 25-Year Perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پارادایم برنامه نویسی منطقی: چشم انداز 25 ساله نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پارادایم برنامه نویسی منطقی: چشم انداز 25 ساله
برنامه نویسی منطقی 25 سال پیش تاسیس شد. این متن جدید هیجان‌انگیز، هم تکامل این الگوی برنامه‌نویسی را از زمان پیدایش آن نشان می‌دهد و هم دامنه گسترده تحقیقات فعلی در برنامه‌نویسی منطقی را نشان می‌دهد. مشارکت‌های این کتاب به مسائل نظری و عملی می‌پردازد. آنها به موضوعات مختلفی مانند زیست شناسی مولکولی محاسباتی، یادگیری ماشین، محاسبات سیار، سیستم های چند عاملی، برنامه ریزی، محاسبات عددی و سیستم های دینامیکی، سیستم های پایگاه داده، جایگزینی برای رویکرد "فرمول ها به عنوان انواع"، معناشناسی و تحلیل برنامه می پردازند. و پردازش زبان طبیعی مشارکت‌کنندگان همگی از کارشناسان برجسته جهان در برنامه‌نویسی منطقی هستند و مشارکت‌های آنها همگی دعوت و داوری شدند.
توضیحاتی درمورد کتاب به خارجی
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.
فهرست مطالب
Front Matter....Pages I-XVI
Front Matter....Pages 1-1
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics....Pages 5-32
Inference and Computation Mobility with Jinni....Pages 33-52
Concurrent Logic/Constraint Programming: The Next 10 Years....Pages 53-71
Formulas as Programs....Pages 75-107
Link-time Optimization of Multi-Language Programs....Pages 109-126
Horn Logic Denotations and Their Applications....Pages 127-159
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging....Pages 161-192
Assessment of Some Issues in CL-Theory and Program Development....Pages 195-208
How Enterprises Use Functional Languages, and Why They Don’t....Pages 209-227
Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations....Pages 231-255
The Logic Programming Paradigm in Numerical Computation....Pages 257-276
Front Matter....Pages 277-277
Logic-Based User-Defined Aggregates for the Next Generation of Database Systems....Pages 401-426
The Logic of Language....Pages 429-456
Computational Molecular Biology: A Promising Application Using LP and its Extensions....Pages 281-311
Adding Constraints to Logic-based Formalisms....Pages 313-331
A Perspective on Inductive Logic Programming....Pages 335-346
From Deduction to Induction: Logical Perspective....Pages 347-354
Action Languages, Answer Sets, and Planning....Pages 357-373
Stable Models and an Alternative Logic Programming Paradigm....Pages 375-398
