Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

ویرایش: 1 
نویسندگان: Stefania Costantini,  Enrico Franconi,  William Van Woensel,  Roman Kontchakov,  Dr. Fariba Sadri,  Dumitru Roman (eds.)  
سری: Lecture Notes in Computer Science 10364 
ISBN (شابک) : 9783319612522, 9783319612515 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 255 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

قیمت کتاب (تومان) : 30,000



این کتاب مجموعه مقالات کنفرانس مشترک بین‌المللی قوانین و استدلال، RuleML+RR 2017 است که در لندن، بریتانیا، در ژوئیه 2017 برگزار شد. این اولین کنفرانس از سری جدید است که به تلاش‌های دو کنفرانس موجود می‌پیوندد. سری، یعنی "RuleML" (همایش بین المللی قوانین وب) و "RR" (Web Reasoning and Rule Systems).

16 مقاله معمولی ارائه شده همراه با 2 چکیده کلیدی به دقت بررسی و از بین 29 مورد ارسالی انتخاب شدند.

مجموعه کنفرانس RR انجمنی برای بحث و انتشار نتایج جدید در مورد همه موضوعات مربوط به استدلال وب و سیستم‌های قوانین بوده است. ، با تاکید بر رویکردها و زبان های مبتنی بر قانون. مجموعه کنفرانس RuleML به انتشار تحقیقات، برنامه‌ها، زبان‌ها و استانداردهای فن‌آوری‌های قوانین، با توجه به پیشرفت‌های نظری و عملی، به چالش کشیدن ایده‌های جدید و کاربردهای صنعتی اختصاص یافته است. هر دو سری کنفرانس با هدف ایجاد پل هایی بین دانشگاه و صنعت در زمینه قوانین و کاربردهای آنها انجام شده است. بنابراین، انتظار می‌رود RuleML+RR به کنفرانسی پیشرو برای همه موضوعات مرتبط با پیشرفت‌های نظری، فناوری‌های جدید، و کاربردهای نوآورانه در مورد بازنمایی دانش و استدلال با قوانین تبدیل شود.

این کنفرانس مشترک جدید یک کنفرانس ارزشمند ارائه می‌کند. انجمنی برای تحریک همکاری و لقاح متقابل بین بسیاری از جوامع مختلف که بر تحقیق، توسعه و کاربردهای سیستم‌های مبتنی بر قانون متمرکز است. این امکان را برای ارائه و بحث در مورد کاربردهای قوانین و استدلال در دانشگاه، صنعت، مهندسی، تجارت، مالی، مراقبت های بهداشتی و سایر زمینه های کاربردی فراهم می کند.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first 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 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions.

The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules.

This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.

Front Matter....Pages I-XVIII
Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)....Pages 1-6
Dischargeable Obligations in Abductive Logic Programming....Pages 7-21
Using Rule-Based Reasoning for RDF Validation....Pages 22-36
Three Methods for Revising Hybrid Knowledge Bases....Pages 37-52
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data....Pages 53-69
Semantic DMN: Formalizing Decision Models with Domain Knowledge....Pages 70-86
A Set-Theoretic Approach to ABox Reasoning Services....Pages 87-102
Verifying Controllability of Time-Aware Business Processes....Pages 103-118
A Decidable Confluence Test for Cognitive Models in ACT-R....Pages 119-134
On the Chase for All Provenance Paths with Existential Rules....Pages 135-150
Rewriting Queries with Negated Atoms....Pages 151-167
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching....Pages 168-183
An Online Tool for Tuning Fuzzy Logic Programs....Pages 184-198
Hybrid ASP-Based Approach to Pattern Mining....Pages 199-214
Inconsistency-Tolerant Instance Checking in Tractable Description Logics....Pages 215-229
ArgQL: A Declarative Language for Querying Argumentative Dialogues....Pages 230-237
Back Matter....Pages 239-239