عنوان
پدید آورنده
موضوع
رده
QA76.615 .A58 2013eb
QA76
.
615
.
A58
2013eb
کتابخانه
محل استقرار
شابک
شابک
1608459713
شابک
1608459721
شابک
9781608459711
شابک
9781608459728
عنوان و نام پديدآور
عنوان اصلي
Answer set solving in practice /
نام عام مواد
[Book]
نام نخستين پديدآور
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
San Rafael :
نام ناشر، پخش کننده و غيره
Morgan & Claypool Publishers,
تاریخ نشرو بخش و غیره
©2013.
تاریخ نشرو بخش و غیره
©2013
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxv, 212 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Synthesis lectures on artificial intelligence and machine learning,
مشخصه جلد
#19
شاپا ي ISSN فروست
1939-4616 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 183-205) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Safari Books Online
شماره انبار
CL0500000340
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Answer set solving in practice.
شماره استاندارد بين المللي کتاب و موسيقي
1608459713
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Declarative programming.
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
Declarative programming.
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
MATHEMATICS-- Algebra-- Elementary.
مقوله موضوعی
موضوع مستند نشده
MAT-- 002030
رده بندی ديویی
شماره
512
.
9
رده بندی کنگره
شماره رده
QA76
.
615
نشانه اثر
.
A58
2013eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Gebser, Martin
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kaminski, Roland
مستند نام اشخاص تاييد نشده
Kaufmann, Benjamin
مستند نام اشخاص تاييد نشده
Schaub, Torsten
مبدا اصلی
تاريخ عمليات
20200823045625.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
