دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
دانلود کتاب Datalog Reloaded: اولین کارگاه بین المللی ، Datalog 2010 ، آکسفورد ، انگلیس ، 16 تا 19 مارس ، 2010. مقاله های منتخب اصلاح شده
مشخصات کتاب
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
ویرایش: 1 نویسندگان: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.) سری: Lecture Notes in Computer Science 6702 : Information Systems and Applications, incl. Internet/Web, and HCI ISBN (شابک) : 9783642242052, 9783642242069 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 406 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب Datalog Reloaded: اولین کارگاه بین المللی ، Datalog 2010 ، آکسفورد ، انگلیس ، 16 تا 19 مارس ، 2010. مقاله های منتخب اصلاح شده: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، شبکه های ارتباطی کامپیوتری، ذخیره و بازیابی اطلاعات، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Datalog Reloaded: اولین کارگاه بین المللی ، Datalog 2010 ، آکسفورد ، انگلیس ، 16 تا 19 مارس ، 2010. مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Datalog Reloaded: اولین کارگاه بین المللی ، Datalog 2010 ، آکسفورد ، انگلیس ، 16 تا 19 مارس ، 2010. مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی اولین کارگاه بین المللی Datalog 2.0 است که در مارس 2010 در آکسفورد، انگلستان برگزار شد. ارسالی ها این مقاله‌ها، پیشرفته‌ترین تئوری و سیستم‌های دیتالوگ را به نمایش می‌گذارند که در سه بخش تقسیم‌بندی شده‌اند: ویژگی‌ها، برنامه‌ها و پسوندهای دیتالوگ.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.
فهرست مطالب
Front Matter....Pages -
Datalog-Based Program Analysis with BES and RWL....Pages 1-20
Datalog for Security, Privacy and Trust....Pages 21-36
Answer Set Modules for Logical Agents....Pages 37-58
First-Order Encodings for Modular Nonmonotonic Datalog Programs....Pages 59-77
Datalog Programs and Their Stable Models....Pages 78-87
Exploiting Bounded Treewidth with Datalog (A Survey)....Pages 88-105
Equivalence between Extended Datalog Programs — A Brief Survey....Pages 106-119
Cluster Computing, Recursion and Datalog....Pages 120-144
Datalog-Related Aspects in Lixto Visual Developer....Pages 145-160
Informing Datalog through Language Intelligence – A Personal Perspective....Pages 161-180
Dyna: Extending Datalog for Modern AI....Pages 181-220
Datalog for the Web 2.0: The Case of Social Network Data Management....Pages 221-224
Context Modelling and Context-Aware Querying....Pages 225-244
Using Datalog for Fast and Easy Program Analysis....Pages 245-251
Distributed Datalog Revisited....Pages 252-261
Dedalus : Datalog in Time and Space....Pages 262-281
The Disjunctive Datalog System DLV....Pages 282-301
Datalog as a Query Language for Data Exchange Systems....Pages 302-320
Datalog Relaunched: Simulation Unification and Value Invention....Pages 321-350
Datalog+/-: A Family of Languages for Ontology Querying....Pages 351-368
Knowledge Representation Language P-Log – A Short Introduction....Pages 369-383
Living with Inconsistency and Taming Nonmonotonicity....Pages 384-398
Back Matter....Pages -
