دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
دانلود کتاب هوش مصنوعی و محاسبات نمادین: سیزدهمین کنفرانس بین المللی، AISC 2018، سوژو، چین، 16 تا 19 سپتامبر 2018، مجموعه مقالات
مشخصات کتاب
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
ویرایش: [1st ed.] نویسندگان: Jacques Fleuriot, Dongming Wang, Jacques Calmet سری: Lecture Notes in Computer Science 11110 ISBN (شابک) : 9783319999562 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: X, 269 [272] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی و محاسبات نمادین: سیزدهمین کنفرانس بین المللی، AISC 2018، سوژو، چین، 16 تا 19 سپتامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات نمادین: سیزدهمین کنفرانس بین المللی، AISC 2018، سوژو، چین، 16 تا 19 سپتامبر 2018، مجموعه مقالات
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
فهرست مطالب
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Automated Reasoning in the Age of the Internet (Alan Bundy, Kwabena Nuamah, Christopher Lucas)....Pages 3-18
Methodologies of Symbolic Computation (James Davenport)....Pages 19-33
Front Matter ....Pages 35-35
A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Jose Divasón, Jesús Aransay)....Pages 37-53
Formalizing Some “Small” Finite Models of Projective Geometry in Coq (David Braun, Nicolas Magaud, Pascal Schreck)....Pages 54-69
Into the Infinite - Theory Exploration for Coinduction (Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola)....Pages 70-86
Machine Learning for Inductive Theorem Proving (Yaqing Jiang, Petros Papapanagiotou, Jacques Fleuriot)....Pages 87-103
FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets (Shaofan Liu, Jie Luo)....Pages 104-118
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving (Martin Strecker)....Pages 119-135
Front Matter ....Pages 137-137
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? (Fadoua Ghourabi, Kazuko Takahashi)....Pages 139-154
Discovering Geometry Theorems in Regular Polygons (Zoltán Kovács)....Pages 155-169
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically (Changbo Chen, Wenyuan Wu)....Pages 170-180
Early Ending in Homotopy Path-Tracking for Real Roots (Yu Wang, Wenyuan Wu, Bican Xia)....Pages 181-194
Autocorrelation via Runs (Ilias S. Kotsireas, Jing Yang)....Pages 195-205
Front Matter ....Pages 207-207
Open image in new window: A Linear Algebra Textbook System (Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang)....Pages 209-214
Towards an Automated Geometer (Francisco Botana, Zoltán Kovács, Tomás Recio)....Pages 215-220
Automatic Deduction in an AI Geometry Book (Pedro Quaresma)....Pages 221-226
A Chinese New Word Detection Approach Based on Independence Testing (Dongchen Jiang, Xiaoyu Chen, Xin Yang)....Pages 227-236
The Accessibility of Mathematical Formulas for the Visually Impaired in China (Wei Su, Chuan Cai, Jinzhao Wu)....Pages 237-242
Specialty-Aware Task Assignment in Spatial Crowdsourcing (Tianshu Song, Feng Zhu, Ke Xu)....Pages 243-254
Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest (Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai)....Pages 255-268
Back Matter ....Pages 269-269
