Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017)

• Record Type: Book
• Further Information: Note: Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman, editors.
• Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru
• Other Names: RuleML+RR (Joint Conference)
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 005.11; Computer science; Computer science -- Congresses; Computer programming -- Congresses; Software engineering -- Congresses; Programming languages (Electronic computers) -- Congresses; Logic, Symbolic and mathematical -- Congresses; Artificial intelligence -- Congresses; Application software -- Congresses; Application software; Artificial intelligence; Computer programming; Computer science; Logic, Symbolic and mathematical; Programming languages (Electronic computers); Software engineering; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computers -- Software Development & Engineering -- General; Computers -- Data Processing; Programming & scripting languages: general; Mathematical theory of computation; Artificial intelligence; Software Engineering; Information technology: general issues; Artificial intelligence; Software engineering; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319612522; 3319612522
• Related ISBNs: 9783319612515; 3319612514
• Notes: Note: Includes bibliographical references and author index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.