دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
دانلود کتاب قوانین و استدلال: سومین کنفرانس بین المللی مشترک ، RuleML + RR 2019 ، بولزانو ، ایتالیا ، 16 تا 19 سپتامبر 2019 ، مجموعه مقالات
مشخصات کتاب
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ویرایش: [1st ed. 2019] نویسندگان: Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman سری: Lecture Notes in Computer Science 11784 ISBN (شابک) : 9783030310943, 9783030310950 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XVI, 207 [221] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قوانین و استدلال: سومین کنفرانس بین المللی مشترک ، RuleML + RR 2019 ، بولزانو ، ایتالیا ، 16 تا 19 سپتامبر 2019 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب قوانین و استدلال: سومین کنفرانس بین المللی مشترک ، RuleML + RR 2019 ، بولزانو ، ایتالیا ، 16 تا 19 سپتامبر 2019 ، مجموعه مقالات
این کتاب مجموعه مقالات کنفرانس مشترک بین‌المللی قوانین و استدلال، RuleML+RR 2019 است که در بولزانو، ایتالیا، در سپتامبر 2019 برگزار شد. این سومین کنفرانس از سری جدید است که به تلاش‌های دو مجموعه کنفرانس موجود، یعنی "RuleML" (همایش بین المللی قوانین وب) و "RR" (استدلال وب و سیستم های قوانین).
10 مقاله تحقیقاتی کامل ارائه شده به همراه 5 مقاله کوتاه ارتباطات فنی به دقت بررسی شدند. و از 26 مورد ارسالی انتخاب شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).
The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.
فهرست مطالب
Front Matter ....Pages i-xvi
Front Matter ....Pages 1-1
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Stefan Borgwardt, Walter Forkel, Alisa Kovtunova)....Pages 3-18
Reasoning on \(\textit{DL-Lite}_\mathcal{R}\) with Defeasibility in ASP (Loris Bozzato, Thomas Eiter, Luciano Serafini)....Pages 19-35
ODRL Policy Modelling and Compliance Checking (Marina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh)....Pages 36-51
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP (Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos, Iakovos Ouranos et al.)....Pages 52-66
An ASP-based Solution for Operating Room Scheduling with Beds Management (Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro)....Pages 67-81
EASE: Enabling Hardware Assertion Synthesis from English (Rahul Krishnamurthy, Michael S. Hsiao)....Pages 82-96
Formalizing Object-Ontological Mapping Using F-logic (Martin Ledvinka, Petr Křemen)....Pages 97-112
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Fangfang Liu, Jia-Huai You)....Pages 113-127
Efficient TBox Reasoning with Value Restrictions—Introducing the \(\mathcal {F\!L}_{o}{} \textit{wer}\) Reasoner (Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß)....Pages 128-143
Query Rewriting for DL Ontologies Under the ICAR Semantics (Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos)....Pages 144-158
Front Matter ....Pages 159-159
Complementing Logical Reasoning with Sub-symbolic Commonsense (Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini)....Pages 161-170
Adding Constraint Tables to the DMN Standard: Preliminary Results (Marjolein Deryck, Bram Aerts, Joost Vennekens)....Pages 171-179
Detecting “Slippery Slope” and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse (Davide Liga, Monica Palmirani)....Pages 180-189
Fuzzy Logic Programming for Tuning Neural Networks (Ginés Moreno, Jesús Pérez, José A. Riaza)....Pages 190-197
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization (Olivier Rodriguez, Reza Akbarinia, Federico Ulliana)....Pages 198-206
Back Matter ....Pages 207-207
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Pleasure of Pictures: Pictorial Experience and Aesthetic Appreciation
دانلود کتاب Monty Python's Spamalot (Songbook): 2005 Tony Award Winner--Best Musical
دانلود کتاب Standardized Survey Interviewing: Minimizing Interviewer-Related Error (Applied Social Research Methods)
دانلود کتاب Справжня iсторiя стародавнього свiту
