مشخصات کتاب

Declarative Logic Programming: Theory, Systems, and Applications

ویرایش:  
نویسندگان: Michael Kifer and Yanhong Annie Liu  
سری: ACM Books #20 
ISBN (شابک) : 9781970001983 
ناشر: Association for Computing Machinery and Morgan & Claypool Publishers 
سال نشر: 2018 
تعداد صفحات: 615 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

در صورت تبدیل فایل کتاب Declarative Logic Programming: Theory, Systems, and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطقی اعلامی: نظریه، سیستم ها و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Contents
Preface
Part I. THEORY
1. Datalog: Concepts, History, and Outlook
2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs
3. A Survey of Probabilistic Logic Programming
Part II. SYSTEMS
4. WAM for Everyone: A Virtual Machine for Logic Programming
5. Predicate Logic as a Modeling Language: The IDP System
6. SolverBlox: Algebraic Modeling in Datalog
Part III. APPLICATIONS
7. Exploring Life: Answer Set Programming in Bioinformatics
8. State-Space Search withTabled Logic Programs
9. Natural Language Processing with (Tabled and Constraint) Logic Programming
10. Logic Programming Applications: What Are the Abstractions and Implementations?
Index
Biographies

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Perú. Atlas de Infraestructura y Patrimonio Monumental de las Américas

دانلود کتاب Los situacionistas historia crítica de la última vanguardia del siglo XX

دانلود کتاب The Sentimental Person's Guide to Decluttering

دانلود کتاب Physical Activity and Health

دانلود کتاب Адміністративне судочинство