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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Costantini, Stefania (Επιμελητής έκδοσης), Franconi, Enrico (Επιμελητής έκδοσης), Van Woensel, William (Επιμελητής έκδοσης), Kontchakov, Roman (Επιμελητής έκδοσης), Sadri, Fariba (Επιμελητής έκδοσης), Roman, Dumitru (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10364
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Mathematical logic.; Artificial intelligence.; Application software.; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Computer Applications.

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 Sympo...

Πίνακας περιεχομένων:

• Opening the Black Box: Deriving Rules from Data
• The secret life of rules in Software Engineering
• Meta-Interpretive Learning: achievements and challenges
• Dischargeable Obligations in Abductive Logic Programming
• Using Rule-Based Reasoning for RDF Validation
• Three Methods for Revising Hybrid Knowledge Bases
• Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data
• Semantic DMN: Formalizing Decision Models with Domain Knowledge
• A set-theoretic approach to ABox reasoning services
• Verifying Controllability of Time-Aware Business Processes
• A Decidable Conuence Test for Cognitive Models in ACT-R
• On the Chase for All Provenance Paths With Existential Rules
• Rewriting Queries with Negated Atoms
• Fast ABox Consistency Checking using Incomplete Reasoning and Caching
• An Online Tool for Tuning Fuzzy Logic Programs
• Hybrid ASP-based Approach to Pattern Mining
• nconsistency-tolerant Instance Checking in Tractable Description Logics
• ArgQL: A Declarative Language for Querying Argumentative Dialogues.