دانلود کتاب New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
کتاب مرزهای جدید در هوش مصنوعی: کارگاه های آموزشی JSAI-isAI 2014، LENLS، JURISIN، و GABA، کاناگاوا، ژاپن، 27-28 اکتبر 2014، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب مرزهای جدید در هوش مصنوعی: کارگاه های آموزشی JSAI-isAI 2014، LENLS، JURISIN، و GABA، کاناگاوا، ژاپن، 27-28 اکتبر 2014، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
نام کتاب : New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : مرزهای جدید در هوش مصنوعی: کارگاه های آموزشی JSAI-isAI 2014، LENLS، JURISIN، و GABA، کاناگاوا، ژاپن، 27-28 اکتبر 2014، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 9067
نویسندگان : Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2015
تعداد صفحات : 366
ISBN (شابک) : 9783662481189 , 9783662481196
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 18 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل کارگاه های JSAI-isAI 2014 LENLS، JURISIN، و GABA است که ابزار در نوامبر 2014 در ژاپن برگزار شد. 26 مشارکت در این جلد به دقت بررسی و از بین 57 مورد ارسالی انتخاب شدند. از 3 کارگاه (LENLS11، JURISIN2014، و GABA2014)، 23 مقاله با دقت انتخاب و مطابق با نظرات کمیته برنامه کارگاه بازنگری شد. LENLS (منطق و مهندسی معناشناسی زبان طبیعی) یک کارگاه بین المللی سالانه درباره معناشناسی رسمی و عمل شناسی است و بر جنبه های رسمی و نظری زبان طبیعی تمرکز دارد. JURISIN (Juris-Informatics) 2014 هشتمین رویداد از این مجموعه بود، هدف از این کارگاه بحث در مورد مسائل اساسی و کاربردی برای حقوق انفورماتیک، گرد هم آوردن کارشناسان از زمینه های مختلف مرتبط از جمله حقوق، علوم اجتماعی، اطلاعات و فناوری هوشمند، منطق و فلسفه (شامل حوزه هوش مصنوعی و قانون). GABA (الگوریتم های مبتنی بر نمودار برای داده های بزرگ و کاربردهای آن) 2014 اولین کارگاه در مورد ساختارهای گراف شامل رشته، درخت، دوبخشی و دو گراف برای کشف دانش در داده های بزرگ بود. هدف از این کارگاه بحث در مورد ایده هایی برای تحقق یکپارچه سازی کلان داده ها از جمله الگوریتم هایی با نتایج نظری / تجربی بود.
فهرست مطالب :
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Logic and Engineering of Natural Language Semantics (LENLS) 11....Pages 3-5
Codability and Robustness in Formal Natural Language Semantics....Pages 6-22
CI via DTS....Pages 23-36
Formal Analysis of Epistemic Modalities and Conditionals Based on Logic of Belief Structures....Pages 37-52
A Type-Logical Account of Quantification in Event Semantics....Pages 53-65
Towards a Wide-Coverage Tableau Method for Natural Logic....Pages 66-82
Resolving Modal Anaphora in Dependent Type Semantics....Pages 83-98
Canonical Constituents and Non-canonical Coordination....Pages 99-113
A Good Intensifier....Pages 114-129
Strict Comparison and Weak Necessity: The Case of Epistemic Yào in Mandarin Chinese....Pages 130-143
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types....Pages 144-159
Using Signatures in Type Theory to Represent Situations....Pages 160-171
Scope as Syntactic Abstraction....Pages 172-183
Focus and Givenness Across the Grammar....Pages 184-199
Front Matter....Pages 200-222
Eighth International Workshop on Juris-Informatics (JURISIN 2014)....Pages 223-223
Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO....Pages 225-226
Legal Question Answering Using Ranking SVM and Syntactic/Semantic Similarity....Pages 227-243
Translating Simple Legal Text to Formal Representations....Pages 244-258
Analyzing Reliability Change in Legal Case....Pages 259-273
Front Matter....Pages 274-290
Workshop on Graph-Based Algorithms for Big Data and Its Applications (GABA2014)....Pages 291-291
Anchored Alignment Problem for Rooted Labeled Trees....Pages 293-295
Central Point Selection in Dimension Reduction Projection Simple-Map with Binary Quantization....Pages 296-309
Mapping Kernels Between Rooted Labeled Trees Beyond Ordered Trees....Pages 310-316
Finding Ambiguous Patterns on Grammar Compressed String....Pages 317-330
Detecting Anomalous Subgraphs on Attributed Graphs via Parametric Flow....Pages 331-339
Back Matter....Pages 340-355
....Pages 357-357
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.